diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-01-16 16:36:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-01-16 16:36:01 +0000 |
| commit | b53246d8464ce383b4d607209b41bfdc8c966365 (patch) | |
| tree | 13319a303d3c98a4411fee133b91f0dc0f01a4a8 | |
| parent | 278e065741e2959258b862407e53fe9d4a9ef418 (diff) | |
Comments
| -rw-r--r-- | generic/proof-config.el | 2 | ||||
| -rw-r--r-- | generic/proof.el | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index ce9d99de..bdee9eac 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -610,7 +610,7 @@ Suggestion: this can be set a function called by `proof-pre-shell-start-hook'." :group 'prover-config) (defcustom proof-mode-for-response 'proof-response-mode - "Mode for proof response buffer. + "Mode for proof response buffer (and trace buffer, if used). Usually customised for specific prover. Suggestion: this can be set a function called by `proof-pre-shell-start-hook'." :type 'function diff --git a/generic/proof.el b/generic/proof.el index 33dfed63..40d77733 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -83,8 +83,8 @@ to help guess the directory of files Coq says it's reinterning.") "The response buffer.") (defvar proof-trace-buffer nil - "A tracing buffer for storing ``spilled'' proof shell output. -Spilling is active if proof-shell-spilling-output is non-nil.") + "A tracing buffer for storing tracing output from the proof shell. +See `proof-shell-trace-output-regexp' for details.") (defvar proof-shell-error-or-interrupt-seen nil "Flag indicating that an error or interrupt has just occurred. |