aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-23 10:02:31 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-23 10:02:31 +0000
commite5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 (patch)
treee448cb91ec00e6862f41fabb84c3b84ea6c354aa /lego
parent46620558210c52a6ca510a77f2ae3bfc48941a05 (diff)
Added proof-mode-for-script setting.
Diffstat (limited to 'lego')
-rw-r--r--lego/lego.el2
1 files changed, 2 insertions, 0 deletions
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;"