diff options
| author | David Aspinall | 2000-03-19 06:46:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-19 06:46:08 +0000 |
| commit | 559c0b306bb851e59e2ec5d0c378532ed61fed37 (patch) | |
| tree | 902affb0e80272e44d6e0ab73ca1b84020200287 /generic | |
| parent | 508be7e9b3177c7eb9bb5752e8975c9dd22ec024 (diff) | |
Comment
Diffstat (limited to 'generic')
| -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 |