| Wed, 03 Oct 2012 17:12:08 +0200 | wenzelm | more error positions; | changeset | files |
| Wed, 03 Oct 2012 16:59:58 +0200 | wenzelm | more explicit show_type_constraint, show_sort_constraint; | changeset | files |
| Wed, 03 Oct 2012 16:59:20 +0200 | wenzelm | recovered print translation after 'a => bool to 'a set change; | changeset | files |
| Wed, 03 Oct 2012 16:43:41 +0200 | wenzelm | tuned; | changeset | files |