| Tue, 10 Apr 2012 20:42:17 +0200 | wenzelm | tuned future priorities: print 0, goal ~1, execute ~2; | changeset | files |
| Tue, 10 Apr 2012 16:50:30 +0200 | wenzelm | updated for Poly/ML SVN 1476; | changeset | files |
| Tue, 10 Apr 2012 11:42:15 +0200 | wenzelm | some coverage of HOL/TPTP; | changeset | files |
| 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 |