diff options
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 691813fc..6d56eb73 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -22,7 +22,8 @@ ;; (setq load-path (cons (concat proof-home-directory "isa/") load-path)) (require 'isabelle-system) -(require 'x-symbol-isabelle) ;; FIXME: ought to be auto-loaded later +(require 'x-symbol-isabelle) ;; FIXME: ought to be auto-loaded later, + ;; and only if required. ;; ;; Load syntax |