diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index aefa4993..b2231348 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1447,18 +1447,15 @@ before and after sending the command." (if wait (proof-shell-wait))) - - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; Proof General shell mode definition ;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; +;; Proof General shell mode definition +;; ;;###autoload |