diff options
| author | David Aspinall | 2009-09-06 11:55:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 11:55:56 +0000 |
| commit | 9e6fe41dcf92a91cfc4b1f6da2f3cfa0a9b62716 (patch) | |
| tree | fee70bb5bbe925b9bd820ad270000007c2d492e3 /generic/proof-toolbar.el | |
| parent | 86790edcbf48089ff5c3817638ff229517417df5 (diff) | |
Docs
Diffstat (limited to 'generic/proof-toolbar.el')
| -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") |