| Sat, 26 Apr 2014 00:20:26 +0200 | wenzelm | tuned -- potentially more robust; | changeset | files |
| 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 |