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.

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

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index a35d28bf..f0564857 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -378,6 +378,8 @@
 
   (setq proof-www-home-page lego-www-home-page)
 
+  (setq proof-mode-for-script 'lego-mode)
+
   (setq proof-prf-string "Prf"
 	proof-goal-command "Goal %s;"
 	proof-save-command "Save %s;"
-- 
cgit v1.2.3