blanchet [Mon, 13 Sep 2010 14:28:25 +0200] rev 39336
change signature of "Try.invoke_try" to make it more flexible
blanchet [Mon, 13 Sep 2010 13:12:33 +0200] rev 39335
use 30 s instead of 60 s as the default Sledgehammer timeout;
very few proofs are lost this way (esp. thanks to the parallel use of provers, cf. Boehme & Nipkow 2010), and this is much more tolerable for users
blanchet [Mon, 13 Sep 2010 09:36:34 +0200] rev 39334
no timeout for Auto Try, since the Auto Tools framework takes care of timeouts
blanchet [Sat, 11 Sep 2010 16:41:15 +0200] rev 39333
add Proof General option
blanchet [Sat, 11 Sep 2010 16:39:54 +0200] rev 39332
make Try's output more concise
blanchet [Sat, 11 Sep 2010 16:36:23 +0200] rev 39331
added Auto Try to the mix of automatic tools
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