Mon, 14 Jul 2008 17:51:47 +0200 | wenzelm | removed obsolete Toplevel.RESTART; | changeset | files |
Mon, 14 Jul 2008 17:51:44 +0200 | wenzelm | proper_inform_file_processed: new implementation based on global Isar state (cf. isar.ML); | changeset | files |
Mon, 14 Jul 2008 17:51:43 +0200 | wenzelm | eliminated internal command history -- superceeded by global Isar state (cf. isar.ML); | changeset | files |