aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-29 16:24:11 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-29 16:24:11 +0000
commitdc9750a6fee0b9a944e45922049dfad16131edf6 (patch)
tree846205b3efabb9073de3bf38c8e3959d2860cd4e /generic/proof-toolbar.el
parent06ff2979b376dcff3c3f7d796ee6fa15d6187296 (diff)
Menu name.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r--generic/proof-toolbar.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 27530c21..64d98dcd 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -52,7 +52,7 @@
(undo "Undo step" "Undo the previous proof command" t)
(next "Next step" "Process the next proof command" t)
(use "Use buffer" "Process whole buffer" t)
- (restart "Restart" "Restart scripting (clear all locked regions)" t)
+ (restart "Restart scripting" "Restart scripting (clear all locked regions)" t)
(qed "Finish proof" "Close/save proved theorem" t)
(find "Find theorems" "Find theorems" t)
(command "Issue command" "Issue a non-scripting command" t)