diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 14:00:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 14:00:17 +0000 |
| commit | 8b65a54fdeb50bc346fcf8d25315e54e28c4cca6 (patch) | |
| tree | 23511d17df0a07c94883caefe13b965b49b954aa /doc/docstring-magic.el | |
| parent | b1d190d35e9697b3da2cd4a52c4660c68bd936b6 (diff) | |
Fix loading of multiple prover files: set proof-assistant-table to nil so proof-ready-for-assitant works
Diffstat (limited to 'doc/docstring-magic.el')
| -rw-r--r-- | doc/docstring-magic.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index e754e267..55cb7aa4 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -37,6 +37,7 @@ (assistant-name (car nameregexp)) (sname (symbol-name assistant)) (elisp-file sname)) + (setq proof-assistant-symbol nil) (proof-ready-for-assistant assistant assistant-name) ;; Must load proof-config each time to define proof assistant ;; specific variables @@ -47,11 +48,11 @@ ;; Now a fake proof assistant to document the automatically ;; specific variables +(setq proof-assistant-symbol nil) (proof-ready-for-assistant 'PA "PROOF ASSISTANT") (setq features (delete 'pg-custom features)) (load "pg-custom.el") - ;; These next few are autoloaded usually (load "proof-menu.el") (load "proof-toolbar.el") |