From 3e9fc0816fc333ff80d158afa26bb70e403e6b1f Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 15 Dec 1998 12:10:34 +0000
Subject: made many minor changes to the documentation

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

(limited to 'generic/proof-site.el')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index e758bf60..91802d1f 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -103,7 +103,7 @@ You can use customize to set this variable."
   (mapcar (lambda (astnt) (car astnt))
 	  proof-assistant-table)
   (concat
-   "*Choice of proof assitants to use with Proof General.
+   "*Choice of proof assistants to use with Proof General.
 A list of symbols chosen from:" 
    (apply 'concat (mapcar (lambda (astnt) 
 			    (concat " '" (symbol-name (car astnt))))
@@ -141,7 +141,7 @@ NOTE: to change proof assistant, you must start a new Emacs session.")
 
 ;; Now add auto-loads and load-path elements to support the 
 ;; proof assistants selected, and define a stub 
-(let ((assistants proof-assistants) assistant)
+(let ((assistants proof-assistants))
   (while assistants
     (let*  
 	((assistant (car assistants))	; compiler bogus warning here
-- 
cgit v1.2.3