diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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. |