diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 16:59:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 16:59:29 +0000 |
commit | 2c011f19bad738e2c0bfa2bc25c4d103bdad29ce (patch) | |
tree | 43ee8023fa9770bd5b19149aa50b21a2aec4cfb5 /generic/proof-toolbar.el | |
parent | 699b5cea13f68fc13973913b980f2486c6dcd460 (diff) |
Bug in command button for toolbar.
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 d3ce83a0..c8cfa3e7 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -53,7 +53,7 @@ (use "Use" "Process whole buffer" t) (restart "Restart" "Restart scripting (clear all locked regions)" t) (qed "QED" "Close/save proved theorem" t) - (command "Command" "Issue a non-scripting command") + (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)) |