diff options
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. |