Wed, 18 Jul 2012 08:44:03 +0200 renamed Sledgehammer options
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48293
renamed Sledgehammer options
Wed, 18 Jul 2012 08:44:03 +0200 more code rationalization in relevance filter
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48292
more code rationalization in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 moved override out of iter filter
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48291
moved override out of iter filter
Wed, 18 Jul 2012 08:44:03 +0200 fixed bug introduced when moving code around
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48290
fixed bug introduced when moving code around
Wed, 18 Jul 2012 08:44:03 +0200 systematize lazy names in relevance filter
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48289
systematize lazy names in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 rationalize relevance filter, slowing moving code from Iter to MaSh
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48288
rationalize relevance filter, slowing moving code from Iter to MaSh
Wed, 18 Jul 2012 08:44:03 +0200 killed one file
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48287
killed one file
Wed, 18 Jul 2012 08:44:03 +0200 dependency tuning
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48286
dependency tuning
Wed, 18 Jul 2012 08:44:03 +0200 renaming
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48285
renaming
Wed, 18 Jul 2012 08:44:03 +0200 clean up dependencies
blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48284
clean up dependencies
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip