diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:33:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:33:15 +0000 |
| commit | db554de2757f9816a82cbf8d6eb0d83d1f519d26 (patch) | |
| tree | c1a2698e7561a6dc5d968c7bac0a3a90ac9431ca /generic/proof-script.el | |
| parent | df7729b5dd85647dad604310b0b5d26f1649c2a0 (diff) | |
Removed proof-response-buffer-display from byte compile autoloads
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 |