diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:26:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:26:41 +0000 |
commit | 1b90d1ebd76b73738991457080cead9437aa6bbb (patch) | |
tree | 0d18bc55838850b3b298095311cd9a75ec54e996 /generic/proof-toolbar.el | |
parent | 44d54bf54da89c1f6b14cce3419cd6e2f8884b72 (diff) |
Improved loading
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index c4cb9ca0..cd2995b2 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -8,7 +8,8 @@ ;; ;; NB: FSF GNU Emacs has no toolbar facility. This file defines ;; proof-toolbar-menu which holds the same commands and is put on the -;; menubar by proof-toolbar-setup (surprisingly). +;; menubar by proof-toolbar-setup (perhaps surprisingly). +;; Could consider moving the generic table stuff to proof-menu now. ;; ;; Toolbar is just for the scripting buffer, currently. ;; @@ -160,7 +161,7 @@ will work for any proof assistant.") (deflocal proof-toolbar-itimer nil "itimer for updating the toolbar in the current buffer") -;;; ###autoload +;;;###autoload (defun proof-toolbar-setup () "Initialize Proof General toolbar and enable it for the current buffer. If proof-mode-use-toolbar is nil, change the current buffer toolbar |