isabelle: Changelog

haftmann [Thu, 25 Aug 2011 23:20:34 +0200] rev 44550

updated generated files

wenzelm [Sat, 27 Aug 2011 17:26:14 +0200] rev 44549

explicit markup for legacy warnings;

wenzelm [Sat, 27 Aug 2011 16:22:59 +0200] rev 44548

updated generated files;

wenzelm [Sat, 27 Aug 2011 16:11:24 +0200] rev 44547

less aggressive warning icon;

wenzelm [Sat, 27 Aug 2011 16:01:24 +0200] rev 44546

tuned colors;

wenzelm [Sat, 27 Aug 2011 15:53:18 +0200] rev 44545

transparent foreground color for quoted entities;

wenzelm [Sat, 27 Aug 2011 13:26:06 +0200] rev 44544

more precise treatment of nodes that are fully required for partially visible ones;

wenzelm [Sat, 27 Aug 2011 12:22:24 +0200] rev 44543

de-assigned commands also count as changed;

blanchet [Sat, 27 Aug 2011 11:22:21 +0200] rev 44542

beef up sledgehammer_tac in Mirabelle some more

blanchet [Sat, 27 Aug 2011 11:22:11 +0200] rev 44541

merged

isabelle