Wed, 21 Apr 2010 14:02:34 +0200 blanchet merged
Wed, 21 Apr 2010 14:02:19 +0200 blanchet clarify error message
Wed, 21 Apr 2010 12:22:04 +0200 blanchet distinguish between the different ATP errors in the user interface;
Wed, 21 Apr 2010 11:03:35 +0200 blanchet added "spass_tptp" prover, which requires SPASS x.y > 3.0;
Tue, 20 Apr 2010 17:41:00 +0200 blanchet use "Proof.goal" in Sledgehammer's minimizer (just like everywhere else in Sledgehammer), not "Proof.raw_goal"
Wed, 21 Apr 2010 12:11:48 +0200 bulwahn merged
Wed, 21 Apr 2010 12:10:53 +0200 bulwahn make profiling depend on reference Quickcheck.timing
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip