diff options
Diffstat (limited to 'generic')
-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. |