| Tue, 10 Apr 2012 06:45:15 +0100 | sultana | added graph-conversion utility for TPTP files | changeset | files |
| Tue, 10 Apr 2012 06:45:15 +0100 | sultana | moved non-interpret-specific code to different module | changeset | files |
| Mon, 09 Apr 2012 23:06:14 +0200 | wenzelm | disable parallel proofs (again) -- still suffering from instabilites wrt. interrupts; | changeset | files |