Fri, 25 Oct 2019 15:18:06 +0200 | blanchet | added support for repote Alt-Ergo | changeset | files |
Fri, 25 Oct 2019 15:05:03 +0200 | blanchet | updated nomenclature for TPTP languages to use modern three-symbol abbreviations (e.g. TF1) | changeset | files |
Fri, 25 Oct 2019 14:59:56 +0200 | blanchet | removed support for E-ToFoF, which has lost its raison d'etre since E 2.0 supports TF0 | changeset | files |