From 626c87d9fad1f468a6009ba492c52af7e5d7afa9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 21:38:15 +0000
Subject: Fix compile

---
 isar/isar-autotest.el | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index 123c519c..cc3d6640 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -8,18 +8,19 @@
 (eval-when-compile
   (require 'cl))
 
+(eval-when (compile)
+  (require 'proof-site)
+  (proof-ready-for-assistant 'isar))  
+
 (declare-function isar-tracing:auto-quickcheck-toggle "isar.el")
 (declare-function isar-tracing:auto-solve-toggle "isar.el")
 
-(require 'proof-utils)
 (require 'pg-autotest)
 
-(proof-ready-for-assistant 'isar)
-(require 'isar)
-
 (unless noninteractive
 
-  (pg-autotest log ".autotest.log")
+  (pg-autotest log ".autotest.log")  ; convention
+
   (pg-autotest timestart 'total)
 
   (pg-autotest remark "Testing standard Example.thy, Example-Xsym.thy")
-- 
cgit v1.2.3