From f443e63be5fbf240df375e760d10b34ee9976492 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 08:14:43 +0000
Subject: Fix compilation.

---
 isar/isabelle-system.el | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index d6fbc926..7d654d34 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -12,14 +12,14 @@
 ;;
 
 ;;; Code:
-(eval-when-compile
-  (require 'span)		        ; span macros
-  (require 'proof-site)			; compile for isar (defpgdefault, etc)
-  (proof-ready-for-assistant 'isar))
-
-(require 'cl)			        ; mapcan
-(require 'proof)			; for proof-assistant-symbol, etc.
-(require 'proof-syntax)			; for proof-string-match
+(require 'cl)			        ; mapcan, eval-when
+
+(eval-when (compile)
+  (require 'span)		        
+  (require 'scomint)		        
+  (require 'proof-site)
+  (require 'proof-menu)
+  (defvar proof-assistant-menu nil))	
 
 
 ;; The isabelle custom group won't have been defined yet.
-- 
cgit v1.2.3