| Wed, 21 Apr 2010 14:02:34 +0200 | blanchet | merged | changeset | files |
| Wed, 21 Apr 2010 14:02:19 +0200 | blanchet | clarify error message | changeset | files |
| Wed, 21 Apr 2010 12:22:04 +0200 | blanchet | distinguish between the different ATP errors in the user interface; | changeset | files |
| Wed, 21 Apr 2010 11:03:35 +0200 | blanchet | added "spass_tptp" prover, which requires SPASS x.y > 3.0; | changeset | files |
| 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" | changeset | files |
| Wed, 21 Apr 2010 12:11:48 +0200 | bulwahn | merged | changeset | files |
| Wed, 21 Apr 2010 12:10:53 +0200 | bulwahn | make profiling depend on reference Quickcheck.timing | changeset | files |