| 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 |
| Sat, 29 Sep 2012 16:51:04 +0200 | wenzelm | explicit show_types takes preferenced over show_markup; | changeset | files |
| Sat, 29 Sep 2012 16:35:31 +0200 | wenzelm | ignore wrapped markup elements in Proof General; | changeset | files |