Wed, 18 Apr 2012 23:13:11 +0200 | blanchet | remove old TPTP CNF/FOF parser; always use Nik's new parser | changeset | files |
Wed, 18 Apr 2012 23:13:10 +0200 | blanchet | more standard SZS output | changeset | files |
Wed, 18 Apr 2012 22:40:25 +0200 | blanchet | Sledgehammer NEWS and CONTRIBUTORS | changeset | files |