From 840b78998d1d88cbc6a5d072b8a4c0802d4f1b3a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 17 Mar 2000 11:19:01 +0000
Subject: proof-assistant-table: fixed spelling of comment;

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

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 8e33c217..b7ef1336 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -41,9 +41,9 @@
 ;; Master table of supported assistants.  
 (defcustom proof-assistant-table
   '(;; For demonstration instance of Proof General,
-    ;; set PROOFGENERAL_ASSISANTS=demoisa. 
+    ;; export PROOFGENERAL_ASSISTANTS=demoisa. 
     ;; To use Isabelle/Isar instead of classic Isabelle,
-    ;; set PROOFGENERAL_ASSISANTS=isar
+    ;; export PROOFGENERAL_ASSISTANTS=isar
     (demoisa    "Isabelle Demo"	"\\.ML$")
     (isar       "Isabelle/Isar" "\\.thy$")
     (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
-- 
cgit v1.2.3