diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-08 13:17:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-08 13:17:25 +0000 |
| commit | c7c2cd3a123b3a728dac2e5102126f0960e91af2 (patch) | |
| tree | 73fa9b97a239b2951b657f8f86b33604b91c5123 | |
| parent | 50a65a17088edaa64c5dc7a62b28f17e33c13085 (diff) | |
Changed binding for C-c RET
| -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) |