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