From a30e5aa8addc99070655ec2f2377cf13e7c9a3d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Jan 2001 17:53:33 +0000
Subject: Fix loading thy mode fist problem: require proof-script since context
 menus are now added for response/goals buffer, which requires proof mode.

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

diff --git a/isa/isa.el b/isa/isa.el
index ecf24ab9..68996b17 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -370,7 +370,11 @@ isa-proofscript-mode."
     ;; isn't true for Isabelle.  
     ;; (proof-config-done-related and proof-shell-mode refer to
     ;; the troublesome settings in question)
+    ;; 3.3 fix: add require proof-script since context menus are 
+    ;; now added for response/goals buffer, which requires proof mode. 
     (unless proof-terminal-char
+      (require 'proof-script)
+      (proof-menu-define-specific)	
       (isa-mode-config-set-variables))
 
     (thy-mode)
-- 
cgit v1.2.3