| Fri, 25 Apr 2014 22:10:03 +0200 | wenzelm | just one default thread pool (which is hardwired to Runtime.availableProcessors); | changeset | files |
| Fri, 25 Apr 2014 21:31:39 +0200 | wenzelm | tuned signature -- separate pool for JFuture tasks, which can be canceled; | changeset | files |
| Fri, 25 Apr 2014 20:21:27 +0200 | wenzelm | prefer Isabelle/Scala operations; | changeset | files |
| Fri, 25 Apr 2014 20:07:39 +0200 | wenzelm | unused; | changeset | files |