diff options
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index e56f4d73..57acd930 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -2489,7 +2489,7 @@ where `k' is a keybinding (vector) and `f' the designated function.") (define-key map [(control c) (control e)] 'proof-find-next-terminator) (define-key map [(control c) (control a)] 'proof-goto-command-start) (define-key map [(control c) (control n)] 'proof-assert-next-command) -(define-key map [(control c) (return)] 'proof-assert-until-point) +(define-key map [(control c) (return)] 'proof-assert-next-command) (define-key map [(control c) (control t)] 'proof-try-command) (define-key map [(control c) ?u] 'proof-retract-until-point) (define-key map [(control c) (control u)] 'proof-undo-last-successful-command) |