wenzelm [Fri, 13 Jan 2012 11:50:28 +0100] rev 47072
eliminated dead code;
wenzelm [Thu, 12 Jan 2012 23:29:03 +0100] rev 47071
more modest settings for lxbroy10 -- might actually perform better;
wenzelm [Thu, 12 Jan 2012 22:05:54 +0100] rev 47070
tuned;
wenzelm [Thu, 12 Jan 2012 21:50:00 +0100] rev 47069
improved select_markup: include filtering of defined results;
wenzelm [Thu, 12 Jan 2012 21:21:22 +0100] rev 47068
tuned text_color: cumulate with explicit default color;
wenzelm [Thu, 12 Jan 2012 20:58:17 +0100] rev 47067
added cat_lines convenience;
wenzelm [Thu, 12 Jan 2012 20:57:37 +0100] rev 47066
tuned;
wenzelm [Thu, 12 Jan 2012 20:51:28 +0100] rev 47065
clarified mkString: no extra line-breaks for XML.Body;
bulwahn [Thu, 12 Jan 2012 10:19:33 +0100] rev 47064
adding exhaustive instances for type constructor set
berghofe [Thu, 12 Jan 2012 00:14:20 +0100] rev 47063
Updated generated file