isabelle: Changelog

wenzelm [Tue, 05 Jan 2016 15:40:25 +0100] rev 62062

fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;

wenzelm [Tue, 05 Jan 2016 15:35:08 +0100] rev 62061

tuned;

eberlm [Tue, 05 Jan 2016 15:38:37 +0100] rev 62060

Added summability/Gamma/etc. to NEWS and CONTRIBUTORS

wenzelm [Tue, 05 Jan 2016 14:25:12 +0100] rev 62059

proper latex setup;

wenzelm [Tue, 05 Jan 2016 13:48:51 +0100] rev 62058

updated headers;

wenzelm [Tue, 05 Jan 2016 13:41:29 +0100] rev 62057

merged

wenzelm [Tue, 05 Jan 2016 13:40:58 +0100] rev 62056

ensure that thread pool creates daemon threads, to increase chances that the JVM terminates spontaneously;

hoelzl [Tue, 05 Jan 2016 13:35:06 +0100] rev 62055

Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf)

wenzelm [Mon, 04 Jan 2016 22:13:53 +0100] rev 62054

merged

wenzelm [Mon, 04 Jan 2016 21:49:06 +0100] rev 62053

tuned proofs;

isabelle