diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:48:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:48:47 +0000 |
commit | e8b6d523045986f1f39beb16dd1d789271efb0c7 (patch) | |
tree | 82ec7d531f9c345bd54d1bab16fd2655ed616099 /generic/proof-toolbar.el | |
parent | d47e6f73c05d121c7e6fc9475f9209f9a39a4a10 (diff) |
Button name change
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 83d096d5..47195c8d 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -44,7 +44,7 @@ ;; The default generic toolbar ;; (defconst proof-toolbar-entries-default - '((show "Show" "Show the current proof state" t) + '((state "State" "Show the current proof state" t) (context "Context" "Show the current context" t) (goal "Goal" "Start a new proof" t) (retract "Retract" "Retract (undo) whole buffer" t) @@ -371,13 +371,13 @@ Move point if the end of the locked position is invisible." (defalias 'proof-toolbar-qed 'proof-issue-save) ;; -;; Show button +;; State button ;; -(defun proof-toolbar-show-enable-p () +(defun proof-toolbar-state-enable-p () (proof-shell-available-p)) -(defalias 'proof-toolbar-show 'proof-prf) +(defalias 'proof-toolbar-state 'proof-prf) ;; ;; Context button |