| 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 |