diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:51:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:51:31 +0000 |
| commit | 585ce8a7081fd2ef03a0144c953e05e59179afa3 (patch) | |
| tree | 3afc0297381c50679b154c953e918530096e67fa /generic/proof-toolbar.el | |
| parent | d9ff5de7e25061167572845525fde6e9d426ddba (diff) | |
Toolbar tip for restart changed.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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. |