diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 20:21:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-25 20:21:52 +0000 |
| commit | ee3047f13be0464cb88332cc81f960790c5a4882 (patch) | |
| tree | 5d826e3e8c103c6fbd4bdd4aac9ca0ac27348938 /doc/docstring-magic.el | |
| parent | 7764b04903acfd9b2c24c3df643757a7d219df64 (diff) | |
Fixes for PA docs, and file load order.
Diffstat (limited to 'doc/docstring-magic.el')
| -rw-r--r-- | doc/docstring-magic.el | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index 327cc30d..49984264 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -11,8 +11,11 @@ (setq load-path (append '("../generic/") load-path)) (load "proof-site.el") -(load "proof.el") -(load "proof-toolbar.el") +(require 'proof-autoloads) +(require 'proof-compat) +(require 'proof-utils) + + ;; FIXME: Loading several prover files at once is a bit of a problem ;; with new config mechanism. @@ -39,13 +42,22 @@ (load-library elisp-file) (setq assistants (cdr assistants))))) +;; Now a fake proof assistant to document the automatically +;; specific variables +(proof-ready-for-assistant "PROOF ASSISTANT" 'PA) +(setq features (delete 'proof-config features)) +(load "proof-config.el") + + ;; These next few are autoloaded usually (load "thy-mode.el") (load "proof-menu.el") -(load "proof-utils.el") +(load "proof-toolbar.el") ;; A couple of comint symbols are mentioned in the docs (require 'comint) +;; Also completion +(require 'completion) ;; Set some symbols to make markup happen (setq sml-mode 'markup-hack) |