| 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 |
| Fri, 20 Jul 2007 19:09:11 +0200 | wenzelm | added ISABELLE_FILE_IDENT; | changeset | files |
| Fri, 20 Jul 2007 17:54:17 +0200 | wenzelm | simplified ThyLoad interfaces: only one additional directory; | changeset | files |
| Fri, 20 Jul 2007 17:54:17 +0200 | wenzelm | simplified ThyLoad interfaces: only one additional directory; | changeset | files |