testboard: Changelog

wenzelm [Sat, 29 Sep 2012 16:51:04 +0200] rev 49659

explicit show_types takes preferenced over show_markup;

wenzelm [Sat, 29 Sep 2012 16:35:31 +0200] rev 49658

ignore wrapped markup elements in Proof General;

wenzelm [Sat, 29 Sep 2012 16:17:46 +0200] rev 49657

turn constraints into Isabelle_Markup.typing, depending on show_markup options; proper recursion in standard_format;

wenzelm [Sat, 29 Sep 2012 16:15:18 +0200] rev 49656

treat wrapped markup elements as raw markup delimiters;

wenzelm [Sat, 29 Sep 2012 13:43:23 +0200] rev 49655

tuned signature;

wenzelm [Fri, 28 Sep 2012 23:45:15 +0200] rev 49654

tuned proofs;

wenzelm [Fri, 28 Sep 2012 23:40:48 +0200] rev 49653

tuned proofs;

wenzelm [Fri, 28 Sep 2012 23:02:49 +0200] rev 49652

tuned proofs;

wenzelm [Fri, 28 Sep 2012 23:02:39 +0200] rev 49651

tuned;

wenzelm [Fri, 28 Sep 2012 22:53:18 +0200] rev 49650

support for wrapped XML elements, which allows to preserve full markup tree information in to_XML/from_XML conversion;

testboard