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 |
Thu, 03 Jun 2010 22:06:37 +0200 | wenzelm | allow qualified names; | changeset | files |
Thu, 03 Jun 2010 16:56:44 +0200 | krauss | CONTRIBUTORS | changeset | files |