| Fri, 18 Sep 2009 18:13:19 +0200 | boehmes | added new method "smt": an oracle-based connection to external SMT solvers | changeset | files |
| Sun, 20 Sep 2009 19:17:33 +0200 | wenzelm | tuned tracing; | changeset | files |
| Sun, 20 Sep 2009 18:37:55 +0200 | wenzelm | scheduler backdoor: 9999 means 1 worker; | changeset | files |
| Sun, 20 Sep 2009 18:15:07 +0200 | wenzelm | Hilbert_Classical: more precise control of parallel_proofs; | changeset | files |
| Sun, 20 Sep 2009 17:23:23 +0200 | wenzelm | actually observe Multithreading.enabled (cf. d302f1c9e356); | changeset | files |
| Sat, 19 Sep 2009 10:19:34 +0200 | nipkow | merged | changeset | files |
| Sat, 19 Sep 2009 10:19:12 +0200 | nipkow | restructured code | changeset | files |