Mon, 21 Sep 2009 15:05:26 +0200 | Philipp Meyer | sos method generates and uses proof certificates | changeset | files |
Tue, 22 Sep 2009 20:25:31 +0200 | wenzelm | full reserve of worker threads -- for improved CPU utilization; | changeset | files |
Tue, 22 Sep 2009 15:38:12 +0200 | haftmann | merged | changeset | files |