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 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) |