diff options
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 ;; |