diff options
| -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. |