wenzelm [Fri, 24 Sep 2010 17:12:09 +0200] rev 39691
tuned error_color;
wenzelm [Fri, 24 Sep 2010 17:09:07 +0200] rev 39690
some attempts to improve visual appearance of bad text;
wenzelm [Fri, 24 Sep 2010 16:17:59 +0200] rev 39689
clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;
tuned;
wenzelm [Fri, 24 Sep 2010 15:56:29 +0200] rev 39688
updated generated file;
wenzelm [Fri, 24 Sep 2010 15:53:13 +0200] rev 39687
modernized structure Ord_List;
wenzelm [Fri, 24 Sep 2010 15:37:36 +0200] rev 39686
isatest: indicate Isabelle version;
wenzelm [Fri, 24 Sep 2010 15:30:30 +0200] rev 39685
actually handle Type.TYPE_MATCH, not arbitrary exceptions;
wenzelm [Fri, 24 Sep 2010 15:14:55 +0200] rev 39684
merged
haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39683
prefer typewrite tag over raw latex environment
haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39682
avoid fragile tranclp syntax; corrected resolution; corrected typo