From 559c0b306bb851e59e2ec5d0c378532ed61fed37 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 06:46:08 +0000
Subject: Comment

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 73d4b31a..964d5592 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -49,8 +49,9 @@
 ;; Some variables from proof-shell are also used, in particular,
 ;; the menus.  These should probably be moved out to proof-menu.
 
+;; ============================================================
 ;;
-;; Internal variables used by shell mode
+;; Internal variables used by proof shell
 ;;
 
 (defvar proof-re-end-of-cmd nil 
-- 
cgit v1.2.3