From c2e22fc368b8d51f9e878f96b812b0bc602fb322 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 14:25:38 +0000
Subject: Fixed broken check on proof-mode-hook.

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

diff --git a/isa/isa.el b/isa/isa.el
index 84aacf60..34e92c38 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -346,7 +346,7 @@ isa-proofscript-mode."
 	 (string-match ".thy" (buffer-file-name)))
     (thy-mode)
     ;; Hack for splash screen
-    (if (and proof-mode-hook
+    (if (and (boundp 'proof-mode-hook)
 	     (memq 'proof-splash-timeout-waiter proof-mode-hook))
 	(proof-splash-timeout-waiter))
     ;; Has this theory file already been loaded by Isabelle?
-- 
cgit v1.2.3