Mon, 31 May 2010 18:51:06 +0200 | blanchet | obsolete FIXME | changeset | files |
Mon, 31 May 2010 18:49:32 +0200 | blanchet | move SAT solver warning from every invocation of SAT solver to the tool, Refute, that uses it; | changeset | files |
Mon, 31 May 2010 18:00:28 +0200 | blanchet | don't include any axioms for "TYPE" in Nitpick | changeset | files |