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;
Sat, 27 Aug 2011 13:26:06 +0200 more precise treatment of nodes that are fully required for partially visible ones;
wenzelm [Sat, 27 Aug 2011 13:26:06 +0200] rev 44544
more precise treatment of nodes that are fully required for partially visible ones;
Sat, 27 Aug 2011 12:22:24 +0200 de-assigned commands also count as changed;
wenzelm [Sat, 27 Aug 2011 12:22:24 +0200] rev 44543
de-assigned commands also count as changed;
Sat, 27 Aug 2011 11:22:21 +0200 beef up sledgehammer_tac in Mirabelle some more
blanchet [Sat, 27 Aug 2011 11:22:21 +0200] rev 44542
beef up sledgehammer_tac in Mirabelle some more
Sat, 27 Aug 2011 11:22:11 +0200 merged
blanchet [Sat, 27 Aug 2011 11:22:11 +0200] rev 44541
merged
Fri, 26 Aug 2011 21:52:11 +0200 change default for generation of tag idempotence and tag argument equations
blanchet [Fri, 26 Aug 2011 21:52:11 +0200] rev 44540
change default for generation of tag idempotence and tag argument equations
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip