diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:13:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:13:52 +0000 |
| commit | b6e85bd92170d3fb35ecfe0157345a06e59e25f5 (patch) | |
| tree | 1af15a18aa6ab0d4d35b29992a1b79c16e759a24 /BUGS | |
| parent | 1e671cfbe1cebd482338ae0d7d6bbc12f19b0e04 (diff) | |
Added note about C-c RET broken on console.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 3 |
1 files changed, 3 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 |