diff options
-rw-r--r-- | generic/proof-toolbar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 3881493b..4c1e2506 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -8,7 +8,7 @@ ;; ;;; Commentary: ;; -;; 2. It's a little bit tricky to add prover-specific items: +;; It's a little bit tricky to add prover-specific items: ;; presently it must be done before this file is loaded. ;; We could improve on that by generating everything on-thy-fly ;; in proof-toolbar-setup. @@ -108,7 +108,7 @@ to the default toolbar." (when (not proof-toolbar-enable) (kill-local-variable 'tool-bar-map)))) -;; Action to take after altering proof-toolbar-enable +;; Action to take after altering option proof-toolbar-enable (defalias 'proof-toolbar-enable 'proof-toolbar-setup) ;;;###autoload (autoload 'proof-toolbar-toggle "proof-toolbar") |