diff options
Diffstat (limited to 'generic/pg-custom.el')
| -rw-r--r-- | generic/pg-custom.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 8f20bf69..efbc8a76 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -56,6 +56,7 @@ (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (info "Identifier Info" "Information about identifier" t proof-query-identifier-command) (command "Issue Command" "Issue a non-scripting command" t t) + (prooftree "Start/Stop Prooftree" "Start/Stop external proof-tree display" t proof-tree-configured) (interrupt "Interrupt Prover" "Interrupt the proof assistant" t t) (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t t) (visibility "Toggle Visibility" "Show or hide hidden proofs" nil t) |