| Sat, 29 Sep 2012 16:17:46 +0200 | wenzelm | turn constraints into Isabelle_Markup.typing, depending on show_markup options; | changeset | files |
| Sat, 29 Sep 2012 16:15:18 +0200 | wenzelm | treat wrapped markup elements as raw markup delimiters; | changeset | files |
| Sat, 29 Sep 2012 13:43:23 +0200 | wenzelm | tuned signature; | changeset | files |