isabelle: Changelog

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;

eberlm [Tue, 03 Nov 2015 15:24:24 +0100] rev 61554

added acknowledgement in Binomial.thy

eberlm [Tue, 03 Nov 2015 11:20:21 +0100] rev 61553

Merged

eberlm [Mon, 02 Nov 2015 16:17:09 +0100] rev 61552

Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer

isabelle