| Tue, 22 Mar 2011 20:44:47 +0100 | wenzelm | more selective strip_positions in case patterns -- reactivate translations based on "case _ of _" in HOL and special patterns in HOLCF; | changeset | files |
| Tue, 22 Mar 2011 18:03:28 +0100 | wenzelm | enable inner syntax source positions by default (controlled via configuration option); | changeset | files |
| 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 |
| Tue, 22 Mar 2011 15:32:47 +0100 | wenzelm | statespace syntax: strip positions -- type constraints are unexpected here; | changeset | files |