Tue, 24 Nov 1998 11:59:35 +0100 | wenzelm | Isabelle/Isar main interface. | changeset | files |
Tue, 24 Nov 1998 11:59:15 +0100 | wenzelm | fixed prefix_lines: *separate* by \n; | changeset | files |
Tue, 24 Nov 1998 11:58:38 +0100 | wenzelm | added Isar/isar.ML; | changeset | files |