diff options
| -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") |