| 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 |