| Wed, 31 Jan 2007 16:05:14 +0100 | haftmann | changed cong alist - now using AList operations instead of overwrite_warn | changeset | files |
| Wed, 31 Jan 2007 16:05:13 +0100 | haftmann | dropped Output.update_warn | changeset | files |
| Wed, 31 Jan 2007 16:05:12 +0100 | haftmann | print translation for record types with empty-sorted type variables raise Match instead of producing an error | changeset | files |