From e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 23 Oct 1998 10:02:31 +0000
Subject: Added proof-mode-for-script setting.

---
 isa/isa.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isa/isa.el')

diff --git a/isa/isa.el b/isa/isa.el
index 41ffcd2d..03413ad0 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -53,6 +53,7 @@ no regular or easily discernable structure."
   "Configure generic proof scripting mode variables for Isabelle."
   (setq
    proof-www-home-page		isabelle-web-page
+   proof-mode-for-script	'isa-proofscript-mode
    ;; proof script syntax
    proof-terminal-char		?\;	; ends a proof
    proof-comment-start		"(*"	; comment in a proof
-- 
cgit v1.2.3