Mon, 05 Jul 2010 15:12:20 +0200 | haftmann | tuned proof | changeset | files |
Mon, 05 Jul 2010 15:12:20 +0200 | haftmann | tuned | changeset | files |
Mon, 05 Jul 2010 23:07:36 +0200 | wenzelm | Outer_Syntax.prepare_command: disallow control commands here, and consequently in Isar documents; | changeset | files |