Thu, 20 May 2010 11:44:41 +0200 | wenzelm | tuned; | changeset | files |
Thu, 20 May 2010 11:36:30 +0200 | wenzelm | general Isabelle_System.try_read; | changeset | files |
Thu, 20 May 2010 10:43:46 +0200 | wenzelm | explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State]; | changeset | files |