isabelle: Changelog

wenzelm [Tue, 03 Nov 2015 18:11:59 +0100] rev 61564

merged

wenzelm [Tue, 03 Nov 2015 17:53:09 +0100] rev 61563

tuned signature;

wenzelm [Tue, 03 Nov 2015 17:41:13 +0100] rev 61562

prefer Isabelle/Scala Future;

wenzelm [Tue, 03 Nov 2015 16:49:44 +0100] rev 61561

prefer Isabelle/Scala Future;

wenzelm [Tue, 03 Nov 2015 16:47:37 +0100] rev 61560

tuned imports;

wenzelm [Tue, 03 Nov 2015 16:35:38 +0100] rev 61559

more direct task future implementation, with proper cancel operation; more uniform Future.thread;

wenzelm [Tue, 03 Nov 2015 16:35:00 +0100] rev 61558

tuned;

wenzelm [Tue, 03 Nov 2015 14:03:44 +0100] rev 61557

prefer ad-hoc non-worker threads;

wenzelm [Tue, 03 Nov 2015 13:54:34 +0100] rev 61556

clarified modules;

wenzelm [Tue, 03 Nov 2015 11:24:42 +0100] rev 61555

cancel already running request;

isabelle