diff options
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/isar/isar.el b/isar/isar.el index 292baef9..9ddca83c 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -16,10 +16,7 @@ (require 'proof) -;; -;; Add generic code for Isabelle and Isabelle/Isar -;; -(setq load-path (cons (concat proof-home-directory "isa/") load-path)) +;; System code (require 'isabelle-system) ;; |