Fri, 25 Oct 2019 15:23:14 +0200 | blanchet | removed support for old system E-MaLeS | changeset | files |
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 |