2008-04-10 | wenzelm | Context.set_thread_data: non-critical; | changeset | files |
2008-04-10 | wenzelm | added Isar/isar.ML; | changeset | files |
2008-04-09 | haftmann | improvements are strict | changeset | files |
2008-04-09 | haftmann | check validity of class target improvement | changeset | files |
2008-04-09 | wenzelm | print_consts only for external specifications; | changeset | files |
2008-04-09 | wenzelm | fundef_afterqed: removed unused config, added do_print flag; | changeset | files |
Loading... |