diff options
Diffstat (limited to 'doc/docstring-magic.el')
| -rw-r--r-- | doc/docstring-magic.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index 58eee9ef..3f5c32e3 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -14,6 +14,7 @@ (load "proof-site.el") (load "proof-config.el") (load "proof.el") +(load "proof-toolbar.el") (load "isa.el") (load "thy-mode.el") (load "coq.el") |