| Fri, 25 Apr 2014 23:47:39 +0200 | wenzelm | suppress potential dangerous option (see 1baa5d19ac44); | changeset | files |
| Fri, 25 Apr 2014 23:42:25 +0200 | wenzelm | manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44); | changeset | files |
| Fri, 25 Apr 2014 23:29:54 +0200 | wenzelm | modernized theory setup; | changeset | files |
| 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 |