Thu, 28 Aug 2014 17:25:56 +0200 | blanchet | fixed second computations | changeset | files |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | merged minimize and auto_minimize | changeset | files |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | pass options to remote Vampire | changeset | files |