From 42a78f8f2fa24fe7dccd028fb572d39355c42d55 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 16:22:52 +0000
Subject: todo for testing solaris bug fix

---
 todo | 6 ++++++
 1 file changed, 6 insertions(+)

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.
-- 
cgit v1.2.3