From 96d838dbda4f4581804e8cb73697e4aa509bd5dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 19:15:00 +0000
Subject: Documentation.

---
 generic/proof.el | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'generic')

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
 ;;;
-- 
cgit v1.2.3