From e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 10:02:31 +0000
Subject: Added proof-mode-for-script setting.

---
 coq/coq.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index c4390a9a..4e4a173f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -329,6 +329,8 @@
 
   (setq proof-www-home-page coq-www-home-page)
 
+  (setq proof-mode-for-script 'coq-mode)
+
   (setq proof-prf-string "Show"
 	proof-ctxt-string "Print All"
 	proof-help-string "Help")
-- 
cgit v1.2.3