todo for testing solaris bug fix

1 files changed, 6 insertions, 0 deletions

diff --git a/todo b/todo
index 0f23cff3..2d1164ff 100644
--- a/todo
+++ b/todo
@@ -33,9 +33,15 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
 
 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.
   - There is a bizarre process bug with "\"'s on 254th character.
     This now seems to be the root cause of the Solaris bug mentioned
     below.
+
+     ACTION: putative fix is in place. Want to know if it works or
+     if it breaks anything else.
+
   - 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.