diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:24:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:24:47 +0000 |
| commit | d4208389e88a21a22dac9eb464635a53822edaff (patch) | |
| tree | ae9a53ca7b2bb2b342cd8a9256070892adb30aab /generic/proof-toolbar.el | |
| parent | e8f1988b47081eee28aa86157bafed973758d506 (diff) | |
Moved goto button.
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 f8431e18..8cc94923 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -47,9 +47,9 @@ (goal "Start a new proof" "Start a new proof" t) (retract "Retract buffer" "Retract (undo) whole buffer" t) (undo "Undo step" "Undo the previous proof command" t) - (goto "Goto point" "Process or undo to the cursor position" t) (next "Next step" "Process the next proof command" t) (use "Use buffer" "Process whole buffer" t) + (goto "Goto point" "Process or undo to the cursor position" 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) |