isabelle: Changelog

blanchet [Sat, 11 Sep 2010 16:19:32 +0200] rev 39330

crank up Auto Tools timeout; instead of 2500 ms (for Auto Solve) + 2500 ms (for Auto Quickcheck/Nitpick), have 4000 ms as the cumulative timeout

blanchet [Sat, 11 Sep 2010 12:32:31 +0200] rev 39329

make Auto Solve part of the "Auto Tools"

blanchet [Sat, 11 Sep 2010 12:31:58 +0200] rev 39328

tuning

blanchet [Sat, 11 Sep 2010 12:31:42 +0200] rev 39327

tuning

blanchet [Sat, 11 Sep 2010 12:31:05 +0200] rev 39326

tuning

blanchet [Sat, 11 Sep 2010 12:30:50 +0200] rev 39325

tuning

blanchet [Sat, 11 Sep 2010 10:35:00 +0200] rev 39324

finished 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

blanchet [Sat, 11 Sep 2010 10:25:27 +0200] rev 39322

setup Auto Sledgehammer

blanchet [Sat, 11 Sep 2010 10:24:57 +0200] rev 39321

make Mirabelle happy

isabelle