| Sat, 08 Sep 2007 19:58:38 +0200 | wenzelm | Present.session_name; | changeset | files |
| Sat, 08 Sep 2007 19:58:37 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 08 Sep 2007 19:58:36 +0200 | wenzelm | thy_deps: ThyInfo.thy_ord, improved dir/unfold entry; | changeset | files |
| Sat, 08 Sep 2007 19:58:35 +0200 | wenzelm | removed thy_ord (erratic due to multi-threading); | changeset | files |
| Sat, 08 Sep 2007 18:30:02 +0200 | urbanc | some cleaning up | changeset | files |
| Fri, 07 Sep 2007 22:13:49 +0200 | wenzelm | theorem: apply hook last; | changeset | files |
| Fri, 07 Sep 2007 22:13:48 +0200 | wenzelm | reset goal messages after goal update; | changeset | files |