isabelle: Changelog

wenzelm [Mon, 17 Dec 2012 15:05:22 +0100] rev 50578

more parallel find_unused_assms; tuned messages;

traytel [Mon, 17 Dec 2012 15:17:32 +0100] rev 50577

useful commutative diagram for while_option

wenzelm [Mon, 17 Dec 2012 14:51:34 +0100] rev 50576

more hints on technical issues due to shared-disk access of central Mercurial repository;

wenzelm [Mon, 17 Dec 2012 14:07:34 +0100] rev 50575

prefer implicit build_dialog of isabelle jedit; clarified isabelle build variants; back to $HOME despite some chance that Windows users get it wrong;

wenzelm [Mon, 17 Dec 2012 11:07:20 +0100] rev 50574

offer sessions of group "main" first to increase chances that the user makes a sensible choice;

nipkow [Mon, 17 Dec 2012 08:19:35 +0100] rev 50573

new contributor

wenzelm [Sun, 16 Dec 2012 22:10:37 +0100] rev 50572

updated README;

wenzelm [Sun, 16 Dec 2012 21:27:23 +0100] rev 50571

HOL-Quickcheck_Benchmark works without timeout (NB: isatest imposes global timeout already);

blanchet [Sun, 16 Dec 2012 19:23:04 +0100] rev 50570

tuning

bulwahn [Sun, 16 Dec 2012 19:13:19 +0100] rev 50569

merged

isabelle