diff options
| -rw-r--r-- | BUGS | 3 | ||||
| -rw-r--r-- | todo | 4 |
2 files changed, 7 insertions, 0 deletions
@@ -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 @@ -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) |