| Sat, 29 Sep 2012 20:13:50 +0200 | wenzelm | proper handling of constraints stemming from idtyp_ast_tr'; | changeset | files |
| Sat, 29 Sep 2012 19:28:03 +0200 | wenzelm | enable show_markup by default (approx. double output size); | changeset | files |
| Sat, 29 Sep 2012 18:23:46 +0200 | wenzelm | more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup; | changeset | files |