| 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 |
| Thu, 20 May 2010 10:31:20 +0200 | wenzelm | inverted "Freeze" to "Follow", which is the default; | changeset | files |
| Wed, 19 May 2010 21:18:02 +0200 | wenzelm | basic controls to freeze/update prover results; | changeset | files |
| Wed, 19 May 2010 18:05:34 +0200 | wenzelm | show fully detailed protocol messages; | changeset | files |
| Wed, 19 May 2010 17:39:22 +0200 | wenzelm | some updates following src/Tools/jEdit/dist-template/settings; | changeset | files |