From 585ce8a7081fd2ef03a0144c953e05e59179afa3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:51:31 +0000
Subject: Toolbar tip for restart changed.

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 4ce86a4f..c840e90f 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -217,7 +217,7 @@ Initialised in proof-toolbar-setup.")
    ;; XEmacs isn't ready for enablers yet
    t
    ;; (proof-toolbar-restart-enable-p)
-   "Restart the proof assistant"])
+   "Restart scripting"])
 
 (defvar proof-toolbar-goal-icon nil
     "Glyph list for goal button in proof toolbar.
-- 
cgit v1.2.3