1 files changed, 3 insertions, 0 deletions
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