From c7c2cd3a123b3a728dac2e5102126f0960e91af2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Oct 1998 13:17:25 +0000
Subject: Changed binding for C-c RET

---
 generic/proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3