| Thu, 10 Apr 2008 13:24:20 +0200 | wenzelm | moved global Toplevel state to structure Isar; | changeset | files |
| Thu, 10 Apr 2008 13:24:19 +0200 | wenzelm | made purely value-oriented, moved global state to structure Isar (cf. isar.ML); | changeset | files |
| Thu, 10 Apr 2008 13:24:17 +0200 | wenzelm | finish: removed unnecessary Isar.init; | changeset | files |
| Thu, 10 Apr 2008 13:24:15 +0200 | wenzelm | moved structure Isar to isar.ML; | changeset | files |
| Thu, 10 Apr 2008 13:24:13 +0200 | wenzelm | Context.set_thread_data: non-critical; | changeset | files |
| Thu, 10 Apr 2008 13:24:11 +0200 | wenzelm | added Isar/isar.ML; | changeset | files |
| Thu, 10 Apr 2008 00:46:40 +0200 | haftmann | improvements are strict | changeset | files |