Updated

1 files changed, 9 insertions, 0 deletions

diff --git a/todo b/todo
index 17a68854..94d617d1 100644
--- a/todo
+++ b/todo
@@ -72,6 +72,15 @@ B bug: interrupting Isabelle process sometimes doesn't return, why?
   "cleaning up", and get error
     (1) (error/warning) Error in process sentinel: (no-catch exited t)
 
+  To see if this is some SML/NJ or Isabelle weirdness, test in 
+  xterm: use "ROOT.ML", interrrupt, use "ROOT.ML" again.
+  sig 11!  (flaky hardware?)  
+    /usr/lib/Isabelle_22-Sep-1999/../../share/smlnj/bin/sml: Fatal error -- unexpected fault, signal = 11, code = 0x2ad09c43
+  Not reliably repeatable, but:
+    ProofGeneral.isa_restart(); 
+    /usr/lib/Isabelle_22-Sep-1999/../../share/smlnj/bin/sml: Fatal error -- unexpected fault, signal = 11, code = 0x2af9e01b
+
+
 C Add new test cases for closure of unfinished proofs in Lego,
   Isabelle.