| Fri, 03 Oct 2008 17:07:39 +0200 | wenzelm | simplified thread creation via SimpleThread; | changeset | files |
| Fri, 03 Oct 2008 16:37:09 +0200 | wenzelm | version of sledgehammer using threads instead of processes, misc cleanup; | changeset | files |
| Fri, 03 Oct 2008 15:20:33 +0200 | wenzelm | removed old/unused setup of raw ATP oracles; | changeset | files |
| Fri, 03 Oct 2008 14:07:41 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 03 Oct 2008 14:06:19 +0200 | wenzelm | Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler); | changeset | files |
| Fri, 03 Oct 2008 13:21:01 +0200 | wenzelm | added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs; | changeset | files |