diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-27 09:22:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-27 09:22:41 +0000 |
| commit | 6ea22c7d0270c88d29c8fb02c92bfd61a706a5c3 (patch) | |
| tree | 36ed69ab50b91ceb796aa1302e4958edf9090876 /generic/proof-toolbar.el | |
| parent | b12ac96fd592b98be50964f743f589fbcf4787ad (diff) | |
Changed button order.
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 1fda10dc..fff5b705 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -53,9 +53,9 @@ (use "Use" "Process whole buffer" t) (restart "Restart" "Restart scripting (clear all locked regions)" t) (qed "QED" "Close/save proved theorem" t) + (find "Find" "Find something from the proof assistant" t) (command "Command" "Issue a non-scripting command" t) (info "Info" "Show proof assistant information" t) - (find "Find" "Find something from the proof assistant" t) (help "Help" "Proof General manual" t)) "Example value for proof-toolbar-entries. This gives a bare toolbar that works for any prover. To add |