| Thu, 19 Jul 2007 23:18:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 19 Jul 2007 23:18:58 +0200 | wenzelm | removed obsolete use/update_thy_only; | changeset | files |
| Thu, 19 Jul 2007 23:18:56 +0200 | wenzelm | adapted ThyLoad.check_file etc.; | changeset | files |
| Thu, 19 Jul 2007 23:18:55 +0200 | wenzelm | adapted ThyLoad.deps_thy | changeset | files |
| Thu, 19 Jul 2007 23:18:55 +0200 | wenzelm | adapted ThyHeader.read; | changeset | files |
| Thu, 19 Jul 2007 23:18:54 +0200 | wenzelm | adapted ThyLoad.check_file; | changeset | files |
| Thu, 19 Jul 2007 23:18:52 +0200 | wenzelm | moved deps_thy to ThyLoad (independent of outer syntax); | changeset | files |