| Tue, 12 Feb 2002 20:35:35 +0100 | wenzelm | eliminated Pure/Isar/comment.ML; | changeset | files |
| Tue, 12 Feb 2002 20:34:02 +0100 | wenzelm | ANTIQUOTE_FAIL; | changeset | files |
| Tue, 12 Feb 2002 20:33:37 +0100 | wenzelm | eliminated Isar/comment.ML; | changeset | files |
| Tue, 12 Feb 2002 20:33:03 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 12 Feb 2002 20:32:23 +0100 | wenzelm | added isabelle-hol-book; | changeset | files |
| Tue, 12 Feb 2002 20:31:40 +0100 | wenzelm | * Isar/Pure: marginal comments ``--'' may now occur just anywhere in the text; | changeset | files |
| Tue, 12 Feb 2002 20:28:27 +0100 | wenzelm | got rid of explicit marginal comments (now stripped earlier from input); | changeset | files |
| Tue, 12 Feb 2002 20:25:58 +0100 | wenzelm | tuned; | changeset | files |