| Thu, 19 May 2011 10:24:13 +0200 | blanchet | reintroduce TFF workaround for limitations of actual TFF implementations (ToFoF, SNARK) | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | fixed empty proof detection | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | tuning | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | minor doc fixes | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | mention version 0.6 of Vampire, since that's what's currently available for download | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | better error reporting: detect missing E proofs and remove Vampire native format error | changeset | files |
| Wed, 18 May 2011 15:45:34 +0200 | bulwahn | NEWS | changeset | files |
| Wed, 18 May 2011 15:45:33 +0200 | bulwahn | adding Code_Char_ord to code generation regression tests | changeset | files |