| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | use \<emdash> rather than \<midarrow> | file | diff | annotate |
| Wed, 20 Apr 2011 10:14:24 +0200 | blanchet | increase "auto"'s timeout in example to help SML/NJ | file | diff | annotate |
| Mon, 04 Apr 2011 09:32:50 +0200 | krauss | raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics. | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Sun, 19 Dec 2010 11:48:42 +0100 | blanchet | added a timestamp to Nitpick in verbose mode for debugging purposes; | file | diff | annotate |
| Wed, 03 Nov 2010 22:26:53 +0100 | blanchet | standardize on seconds for Nitpick and Sledgehammer timeouts | file | diff | annotate |