From 24838e55d5672d1246523fadd415c2cb1d005163 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Apr 2004 17:01:35 +0000
Subject: Comments

---
 isa/isabelle-system.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 5f513e5c..c76cdf63 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -178,8 +178,10 @@ ISABELLE will always override this setting."
 			  (unless (string-equal logic "Default") logic))
   (setq isabelle-prog-name (isabelle-command-line))
   (setq proof-prog-name isabelle-prog-name)
-  ;; Settings are potentiall different between logics, and
-  ;; so are Isar keywords.  FIXME: latter not handled yet.
+  ;; Settings are potentially different between logics, and
+  ;; so are Isar keywords.  Set these to nil so they get
+  ;; automatically re-initialised.  
+  ;; FIXME: Isar keywords change not handled yet.
   (setq proof-assistant-settings nil)
   (setq proof-menu-settings nil))
 
-- 
cgit v1.2.3