Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | slightly better setup for E | changeset | files |
Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | respect "really_all" argument, which is used by "ATP_Export" | changeset | files |
Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | slightly better setup for SPASS and Vampire as more results have come in | changeset | files |