| Thu, 16 Sep 2010 11:12:08 +0200 | blanchet | factored out TSTP/SPASS/Vampire proof parsing; | changeset | files |
| Thu, 16 Sep 2010 09:59:32 +0200 | blanchet | prevent exception when calling "Mirabelle.can_apply" on empty proof sequence; | changeset | files |
| Thu, 16 Sep 2010 08:29:50 +0200 | blanchet | supply the Metis parameter defaults as argument, instead of patching the Metis sources; | changeset | files |