From 04eddf70c1f28495d70c8e77cb2cae082477939d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 May 2000 16:32:56 +0000
Subject: Comments

---
 isa/isa.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index 19de70da..60d3be7d 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -175,7 +175,9 @@ and script mode."
 
    proof-shell-proof-completed-regexp	"^No subgoals!"
 
-   ;; initial command configures Isabelle by hacking print functions.
+   ;; initial command configures Isabelle by hacking print functions,
+   ;; restoring settings saved by Proof General, etc.
+
    ;; FIXME: temporary hack for almost enabling/disabling printing.
    ;; Also for setting default values.
    proof-shell-init-cmd                 (concat (isabelle-set-default-cmd)
-- 
cgit v1.2.3