diff options
| author | David Aspinall | 2002-07-16 17:16:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-16 17:16:15 +0000 |
| commit | e9a4676803d3dc1f60ac2dfad7b7a567286d7377 (patch) | |
| tree | 70df8fc0eec3f2ff919ae46d0532501add4345ac | |
| parent | cb5622d4bfba6b6ab896eec698db80e19432f53e (diff) | |
Add more nags
| -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 |