Fri, 24 Sep 2010 17:55:32 +0200 merged
wenzelm [Fri, 24 Sep 2010 17:55:32 +0200] rev 39695
merged
Fri, 24 Sep 2010 15:53:57 +0200 merged
haftmann [Fri, 24 Sep 2010 15:53:57 +0200] rev 39694
merged
Fri, 24 Sep 2010 15:53:43 +0200 tuned schema table
haftmann [Fri, 24 Sep 2010 15:53:43 +0200] rev 39693
tuned schema table
Fri, 24 Sep 2010 17:20:09 +0200 tuned warning_color;
wenzelm [Fri, 24 Sep 2010 17:20:09 +0200] rev 39692
tuned warning_color;
Fri, 24 Sep 2010 17:12:09 +0200 tuned error_color;
wenzelm [Fri, 24 Sep 2010 17:12:09 +0200] rev 39691
tuned error_color;
Fri, 24 Sep 2010 17:09:07 +0200 some attempts to improve visual appearance of bad text;
wenzelm [Fri, 24 Sep 2010 17:09:07 +0200] rev 39690
some attempts to improve visual appearance of bad text;
Fri, 24 Sep 2010 16:17:59 +0200 clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;
wenzelm [Fri, 24 Sep 2010 16:17:59 +0200] rev 39689
clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; tuned;
Fri, 24 Sep 2010 15:56:29 +0200 updated generated file;
wenzelm [Fri, 24 Sep 2010 15:56:29 +0200] rev 39688
updated generated file;
Fri, 24 Sep 2010 15:53:13 +0200 modernized structure Ord_List;
wenzelm [Fri, 24 Sep 2010 15:53:13 +0200] rev 39687
modernized structure Ord_List;
Fri, 24 Sep 2010 15:37:36 +0200 isatest: indicate Isabelle version;
wenzelm [Fri, 24 Sep 2010 15:37:36 +0200] rev 39686
isatest: indicate Isabelle version;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip