Sat, 29 Sep 2012 16:35:31 +0200 | wenzelm | ignore wrapped markup elements in Proof General; | changeset | files |
Sat, 29 Sep 2012 16:17:46 +0200 | wenzelm | turn constraints into Isabelle_Markup.typing, depending on show_markup options; | changeset | files |