diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
| commit | ee91c3f2f1dd5f2f731db385134f38726b37b7ca (patch) | |
| tree | d9cb381181a462fdbfab57f7e1f0d4e67ce567b2 /isar/isabelle-system.el | |
| parent | a060c0dc046e526f8bf88b512e3c7c27e93421f8 (diff) | |
Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script
Diffstat (limited to 'isar/isabelle-system.el')
| -rw-r--r-- | isar/isabelle-system.el | 4 |
1 files changed, 2 insertions, 2 deletions
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. |