| Tue, 19 Feb 2013 12:58:32 +0100 | wenzelm | support for prescient timing information within command transactions; | changeset | files |
| Tue, 19 Feb 2013 10:55:11 +0100 | wenzelm | emit command_timing properties into build log; | changeset | files |
| Thu, 21 Feb 2013 12:22:26 +0100 | blanchet | generate Isar proof if Metis appears to be too slow | changeset | files |
| Thu, 21 Feb 2013 12:22:26 +0100 | blanchet | swap slices so that the last slice is more complete (for minimization) | changeset | files |
| Thu, 21 Feb 2013 12:22:26 +0100 | blanchet | tuning | changeset | files |
| Wed, 20 Feb 2013 17:42:20 +0100 | blanchet | ensure all conjecture clauses are in the graph -- to prevent exceptions later | changeset | files |
| Wed, 20 Feb 2013 17:31:28 +0100 | blanchet | generalize syntax of SPASS proofs | changeset | files |