diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-05-17 19:15:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-05-17 19:15:00 +0000 |
commit | 96d838dbda4f4581804e8cb73697e4aa509bd5dd (patch) | |
tree | 1ab1dcb14e736d8fe75f7329d596ac719a3e034f /generic/proof.el | |
parent | fa3dcd83b55ca5ce471a1d648f9a57f448c0a3f8 (diff) |
Documentation.
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/generic/proof.el b/generic/proof.el index 6c93b7af..a3946c26 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -32,10 +32,10 @@ ;;; Global variables ;;; -(deflocal proof-buffer-type nil +(deflocal proof-buffer-type nil "Symbol for the type of this buffer: 'script, 'shell, 'goals, or 'response.") -(defvar proof-shell-busy nil +(defvar proof-shell-busy nil "A lock indicating that the proof shell is processing. When this is non-nil, proof-shell-ready-prover will give an error.") @@ -43,7 +43,7 @@ an error.") (defvar proof-included-files-list nil "List of files currently included in proof process. This list contains files in canonical truename format -(see `file-truename'). +\(see `file-truename'). Whenever a new file is being processed, it gets added to this list via the proof-shell-process-file configuration settings. @@ -106,12 +106,9 @@ of the proof (starting from 1).") ;; has been configured]. ;; We should assume commands are terminated at the specific level. -(defvar proof-terminal-string nil +(defvar proof-terminal-string nil "End-of-line string for proof process.") - - - ;;; ;;; Load other Proof General libraries ;;; |