| 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 |
| Wed, 19 May 2010 12:35:20 +0200 | haftmann | spelt out normalizer explicitly -- avoid dynamic reference to code generator configuration; avoid using old Codegen.eval_term | changeset | files |
| Wed, 19 May 2010 10:17:31 +0200 | haftmann | merged | changeset | files |