diff options
Diffstat (limited to 'doc/docstring-magic.el')
| -rw-r--r-- | doc/docstring-magic.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index f0f436a3..b5383237 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -10,11 +10,15 @@ ;; (setq load-path (append - '("../generic/" "../isa/" "../lego/" "../coq/") load-path)) + '("../generic/" "../isa/" "../lego/" "../coq/" "../isar" "../plastic/") load-path)) (load "proof-site.el") (load "proof-config.el") (load "proof.el") (load "proof-toolbar.el") +;; New ones first incase they duplicate variable names +;; accidently. +(load "isar.el") +(load "plastic.el") (load "isa.el") (load "thy-mode.el") (load "coq.el") |