isabelle: Changelog

wenzelm [Thu, 12 Jan 2012 23:29:03 +0100] rev 46200

more modest settings for lxbroy10 -- might actually perform better;

wenzelm [Thu, 12 Jan 2012 22:05:54 +0100] rev 46199

tuned;

wenzelm [Thu, 12 Jan 2012 21:50:00 +0100] rev 46198

improved select_markup: include filtering of defined results;

wenzelm [Thu, 12 Jan 2012 21:21:22 +0100] rev 46197

tuned text_color: cumulate with explicit default color;

wenzelm [Thu, 12 Jan 2012 20:58:17 +0100] rev 46196

added cat_lines convenience;

wenzelm [Thu, 12 Jan 2012 20:57:37 +0100] rev 46195

tuned;

wenzelm [Thu, 12 Jan 2012 20:51:28 +0100] rev 46194

clarified mkString: no extra line-breaks for XML.Body;

bulwahn [Thu, 12 Jan 2012 10:19:33 +0100] rev 46193

adding exhaustive instances for type constructor set

berghofe [Thu, 12 Jan 2012 00:14:20 +0100] rev 46192

Updated generated file

berghofe [Thu, 12 Jan 2012 00:13:37 +0100] rev 46191

Added inf_Int_eq to pred_set_conv database as well

isabelle