From a80aa5dcf27747df92722ba64a8167930c9c9318 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 13:23:39 +0000
Subject: Adjust a comment on proof-shell-mode

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f02cca96..0c0b2173 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -335,7 +335,7 @@ process command."
 	;; Set text representation (see CVS history for comments)
 	(proof-shell-set-text-representation)
 
-	;; Initialise shell mode (does process initialisation)
+	;; Initialise shell mode (calls hook function, after process started)
 	(funcall proof-mode-for-shell)
 
 	;; Check to see that the process is still going.  If not,
-- 
cgit v1.2.3