diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 4 |
1 files changed, 2 insertions, 2 deletions
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. |