From db554de2757f9816a82cbf8d6eb0d83d1f519d26 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:33:15 +0000
Subject: Removed proof-response-buffer-display from byte compile autoloads

---
 generic/proof-script.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

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
-- 
cgit v1.2.3