diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-07-03 15:15:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-07-03 15:15:36 +0000 |
commit | 06f672fae93c22fe5cfbe98a9bda0a626c3d9bb3 (patch) | |
tree | edb54d6f47f2227a86127a5e35634aeb9861b2d6 /doc/docstring-magic.el | |
parent | 3ffe853b72b5571703329b0ee40f2740a26c9d4f (diff) |
Load plastic and isar as a sanity check, prelude to documenting in texi
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") |