Mon, 30 Aug 2010 12:44:00 +0200 | blanchet | allow configuration of fact filter fudge factors | changeset | files |
Mon, 30 Aug 2010 12:21:53 +0200 | blanchet | made all fudge factors in relevance filter references, so that Mirabelle can set them (for experiments) | changeset | files |
Mon, 30 Aug 2010 12:09:57 +0200 | blanchet | execute actions in same order as specified on command line | changeset | files |