diff options
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |