diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 5de35455..61bed9a6 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -38,8 +38,8 @@ '(proof-shell-ready-prover proof-start-queue proof-shell-live-buffer - proof-shell-invisible-command - proof-response-buffer-display))) + proof-shell-invisible-command))) +;; proof-response-buffer-display now in proof.el, removed from above. ;; ;; Internal variables used by script mode |