Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | make Sledgehammer's relevance filter include the "ext" rule when appropriate | changeset | files |
Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | tuning | changeset | files |
Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | tuning | changeset | files |