| 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 |
| Tue, 26 Oct 2010 11:00:17 +0200 | blanchet | improved English | file | diff | annotate |
| Tue, 14 Sep 2010 13:24:18 +0200 | blanchet | remove "fast_descs" option from Nitpick; | file | diff | annotate |
| Sat, 11 Sep 2010 10:20:48 +0200 | blanchet | document changes to Auto Nitpick | file | diff | annotate |
| Tue, 31 Aug 2010 23:50:40 +0200 | blanchet | fix typo | file | diff | annotate |