isabelle: Changelog

wenzelm [Wed, 18 Sep 2013 16:09:38 +0200] rev 53713

improved layout, with special treatment for ScrollPane;

wenzelm [Wed, 18 Sep 2013 15:50:59 +0200] rev 53712

tuned signature;

wenzelm [Wed, 18 Sep 2013 15:09:15 +0200] rev 53711

improved FlowLayout for wrapping of components over multiple lines;

wenzelm [Wed, 18 Sep 2013 13:31:44 +0200] rev 53710

updated to polyml-5.5.1;

wenzelm [Wed, 18 Sep 2013 13:18:51 +0200] rev 53709

improved printing of exception trace in Poly/ML 5.5.1;

wenzelm [Wed, 18 Sep 2013 11:36:12 +0200] rev 53708

more antiquotations; tuned signature;

wenzelm [Wed, 18 Sep 2013 11:08:28 +0200] rev 53707

moved module into plain Isabelle/ML user space;

blanchet [Wed, 18 Sep 2013 20:44:10 +0200] rev 53706

more primcorec tactics

blanchet [Wed, 18 Sep 2013 20:43:55 +0200] rev 53705

enrich data structure

blanchet [Wed, 18 Sep 2013 19:57:59 +0200] rev 53704

include more "discI" rules

isabelle