| Wed, 24 Nov 2010 23:17:24 +0100 | blanchet | document requirement on theory import | file | diff | annotate |
| Wed, 03 Nov 2010 22:51:32 +0100 | blanchet | use floating-point numbers for Sledgehammer's "thresholds" option rather than percentages; | file | diff | annotate |
| Wed, 03 Nov 2010 22:26:53 +0100 | blanchet | standardize on seconds for Nitpick and Sledgehammer timeouts | file | diff | annotate |