diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-15 14:58:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-15 14:58:20 +0000 |
| commit | 43e9156aa0a700ac5090b6c3947c30fb0b793ee0 (patch) | |
| tree | be9c8521d60cdccac857fae855fb191254a32734 | |
| parent | 631ac4e5dbe8f52d90bfb4a27d9cfdf6a5376924 (diff) | |
Removed proof shell kill bug
| -rw-r--r-- | todo | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -50,9 +50,6 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS [6 hours] A BUGS to investigate: - - Is there a catch bug on Solaris when a process shell killed? - - There is a catch bug even on Linux, sometimes get the message - "proc undefined" after the process has died. Investigate. - Thomas has a bizarre .emacs file which causes Seg Faults with Proof General and FSF Emacs. Doesn't happen with "emacs -q". Investigate which package/setting he adds is to blame. |