From 06f672fae93c22fe5cfbe98a9bda0a626c3d9bb3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 3 Jul 1999 15:15:36 +0000 Subject: Load plastic and isar as a sanity check, prelude to documenting in texi --- doc/docstring-magic.el | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'doc/docstring-magic.el') 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") -- cgit v1.2.3