| Tue, 22 Mar 2011 17:51:15 +0100 | wenzelm | binder_tr: more informative exception; | changeset | files |
| Tue, 22 Mar 2011 16:39:34 +0100 | wenzelm | Hoare syntax: strip positions where they crash translation functions; | changeset | files |
| Tue, 22 Mar 2011 16:15:50 +0100 | wenzelm | update_name_tr: more precise handling of explicit constraints, including positions; | changeset | files |