blanchet [Mon, 30 Aug 2010 18:07:29 +0200] rev 39132
fiddle with fact filter
blanchet [Mon, 30 Aug 2010 18:07:07 +0200] rev 39131
adjust Mirabelle
blanchet [Mon, 30 Aug 2010 17:14:54 +0200] rev 39130
rule out low-level class facts
blanchet [Mon, 30 Aug 2010 15:39:41 +0200] rev 39129
make Sledgehammer's relevance filter somewhat slacker
blanchet [Mon, 30 Aug 2010 15:39:27 +0200] rev 39128
move imperative code to where it belongs
blanchet [Mon, 30 Aug 2010 15:25:15 +0200] rev 39127
fiddle with fact filter based on Mirabelle experiments
blanchet [Mon, 30 Aug 2010 12:44:00 +0200] rev 39126
allow configuration of fact filter fudge factors
blanchet [Mon, 30 Aug 2010 12:21:53 +0200] rev 39125
made all fudge factors in relevance filter references, so that Mirabelle can set them (for experiments)
blanchet [Mon, 30 Aug 2010 12:09:57 +0200] rev 39124
execute actions in same order as specified on command line
blanchet [Mon, 30 Aug 2010 12:02:51 +0200] rev 39123
show index in fact list of all found facts