Sat, 11 Sep 2010 12:32:31 +0200 make Auto Solve part of the "Auto Tools"
blanchet [Sat, 11 Sep 2010 12:32:31 +0200] rev 39329
make Auto Solve part of the "Auto Tools"
Sat, 11 Sep 2010 12:31:58 +0200 tuning
blanchet [Sat, 11 Sep 2010 12:31:58 +0200] rev 39328
tuning
Sat, 11 Sep 2010 12:31:42 +0200 tuning
blanchet [Sat, 11 Sep 2010 12:31:42 +0200] rev 39327
tuning
Sat, 11 Sep 2010 12:31:05 +0200 tuning
blanchet [Sat, 11 Sep 2010 12:31:05 +0200] rev 39326
tuning
Sat, 11 Sep 2010 12:30:50 +0200 tuning
blanchet [Sat, 11 Sep 2010 12:30:50 +0200] rev 39325
tuning
Sat, 11 Sep 2010 10:35:00 +0200 finished renaming "Auto_Counterexample" to "Auto_Tools"
blanchet [Sat, 11 Sep 2010 10:35:00 +0200] rev 39324
finished renaming "Auto_Counterexample" to "Auto_Tools"
Sat, 11 Sep 2010 10:28:44 +0200 start renaming "Auto_Counterexample" to "Auto_Tools";
blanchet [Sat, 11 Sep 2010 10:28:44 +0200] rev 39323
start renaming "Auto_Counterexample" to "Auto_Tools"; Auto Sledgehammer now uses so the name is clearly wrong
Sat, 11 Sep 2010 10:25:27 +0200 setup Auto Sledgehammer
blanchet [Sat, 11 Sep 2010 10:25:27 +0200] rev 39322
setup Auto Sledgehammer
Sat, 11 Sep 2010 10:24:57 +0200 make Mirabelle happy
blanchet [Sat, 11 Sep 2010 10:24:57 +0200] rev 39321
make Mirabelle happy
Sat, 11 Sep 2010 10:24:13 +0200 added Auto Sledgehammer docs
blanchet [Sat, 11 Sep 2010 10:24:13 +0200] rev 39320
added Auto Sledgehammer docs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip