Fri, 25 Jun 2010 12:15:24 +0200 | blanchet | eta-expand | changeset | files |
Fri, 25 Jun 2010 12:08:48 +0200 | blanchet | improve the natural formula relevance filter code, so that it behaves more like the CNF one | changeset | files |
Fri, 25 Jun 2010 12:07:52 +0200 | blanchet | split SPASS time slot between SOS and non-SOS, in case SOS times out | changeset | files |