Fix loading thy mode fist problem: require proof-script since context

menus are now added for response/goals buffer, which requires proof mode.

1 files changed, 4 insertions, 0 deletions

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)