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 |