Fri, 26 Aug 2011 18:24:22 +0200 merged
haftmann [Fri, 26 Aug 2011 18:24:22 +0200] rev 44554
merged
Fri, 26 Aug 2011 18:23:33 +0200 avoid intermixing set and predicates; dropped lemmas mem_rsp and mem_prs (now in Quotient_Set.thy)
haftmann [Fri, 26 Aug 2011 18:23:33 +0200] rev 44553
avoid intermixing set and predicates; dropped lemmas mem_rsp and mem_prs (now in Quotient_Set.thy)
Thu, 25 Aug 2011 23:32:12 +0200 updated generated files
haftmann [Thu, 25 Aug 2011 23:32:12 +0200] rev 44552
updated generated files
Thu, 25 Aug 2011 23:20:44 +0200 merged
haftmann [Thu, 25 Aug 2011 23:20:44 +0200] rev 44551
merged
Thu, 25 Aug 2011 23:20:34 +0200 updated generated files
haftmann [Thu, 25 Aug 2011 23:20:34 +0200] rev 44550
updated generated files
Sat, 27 Aug 2011 17:26:14 +0200 explicit markup for legacy warnings;
wenzelm [Sat, 27 Aug 2011 17:26:14 +0200] rev 44549
explicit markup for legacy warnings;
Sat, 27 Aug 2011 16:22:59 +0200 updated generated files;
wenzelm [Sat, 27 Aug 2011 16:22:59 +0200] rev 44548
updated generated files;
Sat, 27 Aug 2011 16:11:24 +0200 less aggressive warning icon;
wenzelm [Sat, 27 Aug 2011 16:11:24 +0200] rev 44547
less aggressive warning icon;
Sat, 27 Aug 2011 16:01:24 +0200 tuned colors;
wenzelm [Sat, 27 Aug 2011 16:01:24 +0200] rev 44546
tuned colors;
Sat, 27 Aug 2011 15:53:18 +0200 transparent foreground color for quoted entities;
wenzelm [Sat, 27 Aug 2011 15:53:18 +0200] rev 44545
transparent foreground color for quoted entities;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip