diff options
| author | David Aspinall | 1999-09-13 17:14:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 17:14:50 +0000 |
| commit | f21bfc51f73bb984403b8aa5d3b263530a4bf14b (patch) | |
| tree | c317d988544267d17e89483a450d374dce64c1aa /generic/proof-script.el | |
| parent | 18033a37028e9a93c39143eafef79171805e569c (diff) | |
Removed proof-shell-completed added to eval-when-compile by mistake.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 58a45a40..f15bc477 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -38,10 +38,12 @@ '(proof-shell-ready-prover proof-start-queue proof-shell-live-buffer - proof-shell-invisible-command - proof-shell-proof-completed))) + proof-shell-invisible-command))) ;; proof-response-buffer-display now in proof.el, removed from above. +;; FIXME: *variable* proof-shell-proof-completed is declared in proof-shell +;; and used here. Should be moved to proof.el or removed from here. + ;; ;; Internal variables used by script mode ;; |