diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:25:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:25:33 +0000 |
commit | 35983c1e651953067970ab20c00341ca456cbdb4 (patch) | |
tree | 88292a49fc39fc42b40cf50cff5f7c7d2071136a /generic/proof-config.el | |
parent | 7dc64ca3c783e3aa4bdb3aa33f93cd87b5346824 (diff) |
Added proof-shell-spill-output-regexp
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 1dec176f..f8b58633 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1864,6 +1864,17 @@ This is an experimental feature, currently work-in-progress." :type '(choice nil regexp) :group 'proof-shell) +(defcustom proof-shell-spill-output-regexp nil + "Regexp matching output which is to be ``spilled'' into new buffer. +This allows the prover to output tracing messages, and the like, +into a new buffer. The end of the spilled output is the next +prompt. This is intended for unusual debugging output from the +prover, rather than ordinary output from final proofs. +Set to nil to disable. +This is an experimental feature, currently work-in-progress." + :type '(choice nil regexp) + :group 'proof-shell) + ;; ;; 5c. hooks and other miscellaneous customizations |