| Thu, 19 Jul 2007 23:49:05 +0200 | wenzelm | ThyHeader.read: Source.of_string_limited; | changeset | files |
| Thu, 19 Jul 2007 23:49:04 +0200 | wenzelm | added of_string_limited (more efficient for partial scans); | changeset | files |
| Thu, 19 Jul 2007 23:49:02 +0200 | wenzelm | added rep_ident; | changeset | files |
| Thu, 19 Jul 2007 23:49:00 +0200 | wenzelm | added pprint for Path.T, File.ident; | changeset | files |
| 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 |