| Sat, 21 Jul 2007 17:40:40 +0200 | wenzelm | deps: maintain source specification of parents (prevents repeated ThyLoad.deps_thy); | changeset | files |
| Sat, 21 Jul 2007 17:40:39 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 21 Jul 2007 09:14:16 +0200 | haftmann | dropped Nat legacy bindings | changeset | files |
| Fri, 20 Jul 2007 19:54:03 +0200 | wenzelm | check_file: fall back on Path.current; | changeset | files |
| Fri, 20 Jul 2007 19:13:07 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 20 Jul 2007 19:10:05 +0200 | wenzelm | * Theory loader: be more serious about observing the static theory header specifications; | changeset | files |