From 8ffdd4caee90d6ac224440089d700edc6328c08c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Nov 1999 13:55:26 +0000
Subject: comments

---
 generic/proof-shell.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 4b9acb78..0a244b1c 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -201,7 +201,10 @@ Does nothing if proof assistant is already running."
   (interactive)
   (unless (proof-shell-live-buffer)
 
-    ;; This should configure the generic variables
+    ;; This should configure the mode-setting variables
+    ;; proof-mode-for-<blah> so we can set the modes below. 
+    ;; <blah>=shell,goals,response.  We also need to set
+    ;; proof-prog-name to start the program!
     (run-hooks 'proof-pre-shell-start-hook)
 
     ;; Clear some state
-- 
cgit v1.2.3