| Wed, 22 Sep 2010 22:25:21 +0200 | wenzelm | Snapshot.convert/revert: explicit error report to isolate sporadic crash; | changeset | files |
| Wed, 22 Sep 2010 22:15:36 +0200 | wenzelm | make compiler doubly sure; | changeset | files |
| Wed, 22 Sep 2010 22:14:25 +0200 | wenzelm | isabelle-process: less verbose no-commit mode; | changeset | files |