diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 18:29:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 18:29:13 +0000 |
commit | 54bdffb11596d5f9083c72690d147662a607ecf9 (patch) | |
tree | e14d30fa8152ed4cba52894a126c1b859c2816cf /generic/proof-config.el | |
parent | 588314e72d2b390da057a30d6aa9b9cdc0f6ef07 (diff) |
Added proof-shell-clear-goals-regexp.
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 67deb0e4..636f1f1f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -752,6 +752,13 @@ is shown to the user. Set to nil to disable." :type 'regexp :group 'proof-shell) +(defcustom proof-shell-clear-goals-regexp nil + "Regexp matching output telling Proof General to clear the goals buffer. +This feature is useful to give the prover more control over what output +is shown to the user. Set to nil to disable." + :type 'regexp + :group 'proof-shell) + (defcustom proof-shell-start-goals-regexp "" "Regexp matching the start of the proof state output." :type 'regexp |