From d670239ea195c853645fd159b39f5211908d8923 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 15:31:01 +0000
Subject: Buggy default for proof-mode-for-script

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index e2dedb1d..93aecb87 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -322,7 +322,7 @@ Suggestion: this can be set in proof-pre-shell-start-hook."
   :type 'function
   :group 'prover-config)
 
-(defcustom proof-mode-for-script 'ignore
+(defcustom proof-mode-for-script 'proof-mode
   "Mode for proof script buffers.
 This is used by Proof General to find out which buffers 
 contain proof scripts.
-- 
cgit v1.2.3