diff options
author | 1999-09-22 15:48:34 +0000 | |
---|---|---|
committer | 1999-09-22 15:48:34 +0000 | |
commit | d47e6f73c05d121c7e6fc9475f9209f9a39a4a10 (patch) | |
tree | 4ec0fc3037e1201b9da3c08b781c86a8a143c9d2 /generic | |
parent | 9c9e453f42ea488a877534ea603ddd088928bb95 (diff) |
Whitespace
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 |