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 /generic/proof.el | |
parent | 278e065741e2959258b862407e53fe9d4a9ef418 (diff) |
Comments
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. |