| 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 |
| Mon, 09 Apr 2012 21:29:47 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Apr 2012 20:57:23 +0200 | wenzelm | slightly faster default compilation of Isabelle/Scala; | changeset | files |