From e8b6d523045986f1f39beb16dd1d789271efb0c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 15:48:47 +0000
Subject: Button name change

---
 generic/proof-toolbar.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3