| Wed, 03 Nov 2010 11:50:29 +0100 | haftmann | tuned proof | changeset | files |
| Thu, 04 Nov 2010 09:53:23 +0100 | blanchet | moved file in makefile to reflect actual dependencies | changeset | files |
| Wed, 03 Nov 2010 23:01:30 +0100 | blanchet | give E one more second, to prevent cases where it finds a proof but has no time to print it | changeset | files |
| Wed, 03 Nov 2010 22:51:32 +0100 | blanchet | use floating-point numbers for Sledgehammer's "thresholds" option rather than percentages; | changeset | files |
| Wed, 03 Nov 2010 22:33:23 +0100 | blanchet | don't be overly verbose in Sledgehammer's minimizer | changeset | files |
| Wed, 03 Nov 2010 22:26:53 +0100 | blanchet | standardize on seconds for Nitpick and Sledgehammer timeouts | changeset | files |