Wed, 25 Nov 1998 13:57:17 +0100 | wenzelm | removed redirect_to_latex stuff; | changeset | files |
Tue, 24 Nov 1998 12:03:56 +0100 | wenzelm | Isar.main(); | changeset | files |
Tue, 24 Nov 1998 12:03:09 +0100 | wenzelm | setup Blast.setup; | changeset | files |
Tue, 24 Nov 1998 12:00:05 +0100 | wenzelm | added commands; | changeset | files |
Tue, 24 Nov 1998 11:59:50 +0100 | wenzelm | added isar.ML; | changeset | files |
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 |