From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 10 Sep 2009 23:04:40 +0000
Subject: Experimental changes to queue several commands at once and to allow
 pre-processing of commands when they're queued from script

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

(limited to 'isar/isar-autotest.el')

diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el
index da83aabb..cc5d51d7 100644
--- a/isar/isar-autotest.el
+++ b/isar/isar-autotest.el
@@ -5,6 +5,10 @@
 ;; $Id$
 ;;
 
+(eval-when-compile
+  (require 'proof-utils)
+  (proof-ready-for-assistant 'isar))
+
 (require 'pg-autotest)
 
 (unless noninteractive
-- 
cgit v1.2.3