| Tue, 05 Jan 2016 15:40:25 +0100 | wenzelm | fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown; | changeset | files |
| Tue, 05 Jan 2016 15:35:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 15:38:37 +0100 | eberlm | Added summability/Gamma/etc. to NEWS and CONTRIBUTORS | changeset | files |
| Tue, 05 Jan 2016 14:25:12 +0100 | wenzelm | proper latex setup; | changeset | files |
| Tue, 05 Jan 2016 13:48:51 +0100 | wenzelm | updated headers; | changeset | files |
| Tue, 05 Jan 2016 13:41:29 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Jan 2016 13:40:58 +0100 | wenzelm | ensure that thread pool creates daemon threads, to increase chances that the JVM terminates spontaneously; | changeset | files |
| Tue, 05 Jan 2016 13:35:06 +0100 | hoelzl | Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf) | changeset | files |