From b6e85bd92170d3fb35ecfe0157345a06e59e25f5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 16:13:52 +0000
Subject: Added note about C-c RET broken on console.

---
 BUGS | 3 +++
 todo | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/BUGS b/BUGS
index b9fe6a6b..e3842bc4 100644
--- a/BUGS
+++ b/BUGS
@@ -88,6 +88,9 @@ interrupt, the whole process may be killed instead of interrupted.
 This isn't a bug in Proof General, but the behaviour of ssh.  Try
 using rsh instead, it is said to forward signals to the remote command.
 
+* In tty mode, the binding C-c C-RET has no effect.  
+Workaround: manually bind C-c RET to 'proof-goto-point instead.
+
 
 
 LEGO Proof General Bugs
diff --git a/todo b/todo
index d658817e..dcf4c6fc 100644
--- a/todo
+++ b/todo
@@ -53,6 +53,10 @@ A Final stuff for 3.0 release [da]:
 
 ---------------------------------------------
 
+D Strange problem when running in tty mode: c-c c-RET seems to be
+  impossible to type.  Consider binding C-c RET instead when
+  running on a console.
+
 C Tidy up library-loading and dependencies.  (Probably do
   this at the same time as organizing for the XEmacs
   packaging mechanism)
-- 
cgit v1.2.3