diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:48:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:48:17 +0000 |
commit | f1e1e37ac85ab5f6746d03b067628605fb67ab09 (patch) | |
tree | c082c785de486ce0b128cbf50e2468deccc44278 /doc/docstring-magic.el | |
parent | b1df921fe35cb1c00d413beb89ae513a1214c5b5 (diff) |
Load proof-toolbar
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") |