| 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 |
| Mon, 11 Feb 2002 17:30:58 +0100 | wenzelm | ML-Systems/smlnj-compiler.ML compatibility tweak; | changeset | files |