isabelle: Changelog

wenzelm [Tue, 02 Apr 2013 20:19:38 +0200] rev 51597

tuned;

wenzelm [Tue, 02 Apr 2013 16:29:40 +0200] rev 51596

NEWS for 635562bc14ef;

wenzelm [Tue, 02 Apr 2013 11:41:50 +0200] rev 51595

more centralized command timing; clarified old-style timing message;

blanchet [Tue, 02 Apr 2013 10:58:51 +0200] rev 51594

got rid of legacy smartness

nipkow [Mon, 01 Apr 2013 17:42:29 +0200] rev 51593

added lemma

wenzelm [Sat, 30 Mar 2013 18:24:33 +0100] rev 51592

merged

wenzelm [Sat, 30 Mar 2013 17:27:21 +0100] rev 51591

amended uncond_skel to observe notion of cong_name properly -- may affect simplification with Free congs;

wenzelm [Sat, 30 Mar 2013 17:13:21 +0100] rev 51590

more formal cong_name;

wenzelm [Sat, 30 Mar 2013 16:34:02 +0100] rev 51589

timing status for forked diagnostic commands;

wenzelm [Sat, 30 Mar 2013 16:16:24 +0100] rev 51588

tooltip of command keyword includes timing information;

isabelle