| Fri, 16 Jan 2009 14:58:12 +0100 | haftmann | corrected preparation of instances: parameters are proper names, not raw terms | changeset | files |
| Fri, 16 Jan 2009 14:58:11 +0100 | haftmann | migrated class package to new locale implementation | changeset | files |
| Fri, 16 Jan 2009 12:11:06 +0100 | wenzelm | merged | changeset | files |
| Fri, 16 Jan 2009 12:10:51 +0100 | wenzelm | fold_entries: non-optional start, permissive; | changeset | files |