| Thu, 03 Jun 2010 22:54:33 +0200 | wenzelm | tuned default perspective; | changeset | files |
| Thu, 03 Jun 2010 22:45:49 +0200 | wenzelm | tracing in aliceblue; | changeset | files |
| Thu, 03 Jun 2010 22:31:59 +0200 | wenzelm | discontinued obsolete Isar.context() -- long superseded by @{context}; | changeset | files |
| Thu, 03 Jun 2010 22:17:36 +0200 | wenzelm | diagnostic commands 'ML_val' and 'ML_command' may refer to antiquotations @{Isar.state} and @{Isar.goal}; | changeset | files |