From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001 From: David Aspinall 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/isabelle-system.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'isar/isabelle-system.el') diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index bb565c54..d6fbc926 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -13,13 +13,13 @@ ;;; Code: (eval-when-compile + (require 'span) ; span macros (require 'proof-site) ; compile for isar (defpgdefault, etc) - (require 'span) (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 ;; The isabelle custom group won't have been defined yet. -- cgit v1.2.3