diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-custom.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index eb8afa3c..e2f6b678 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -65,7 +65,7 @@ support depends on whether your proof assistant supports it." (context "Display Context" "Display the current context" t proof-context-command) (goal "Start a New Proof" "Start a new proof" t nil) - (retract "Retract Buffer" "Retract (undo) whole buffer" t) + (retract "Retract Buffer" "Retract (undo) whole buffer" t t) (undo "Undo Step" "Undo the previous proof command" t t) (delete "Delete Step" "Delete the last proof command" t t) (next "Next Step" "Process the next proof command" t t) |