isabelle: Changelog

wenzelm [Mon, 08 Jul 2013 12:47:39 +0200] rev 52560

tuned;

wenzelm [Mon, 08 Jul 2013 12:07:06 +0200] rev 52559

more direct interleaving of eval/print and update/execution -- refrain from crude manipulation of max_threads;

wenzelm [Mon, 08 Jul 2013 12:00:45 +0200] rev 52558

allow worker guest threads, which participate actively in future joins, but are outside thread accounting;

smolkas [Wed, 10 Jul 2013 12:25:11 +0200] rev 52557

made SML/NJ happy

smolkas [Tue, 09 Jul 2013 18:45:06 +0200] rev 52556

completely rewrote SH compress; added two parameters for experimentation/fine grained control

smolkas [Tue, 09 Jul 2013 18:44:59 +0200] rev 52555

moved code -> easier debugging

nipkow [Mon, 08 Jul 2013 14:24:36 +0200] rev 52554

tuned proofs

wenzelm [Sun, 07 Jul 2013 22:58:34 +0200] rev 52553

some support for Cygwin;

wenzelm [Sun, 07 Jul 2013 20:23:09 +0200] rev 52552

reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry;

wenzelm [Sun, 07 Jul 2013 18:50:16 +0200] rev 52551

tuned signature;

isabelle