| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Fri, 06 Dec 2013 09:42:13 +0100 | blanchet | reverted 86e0b402994c, which was accidentally qfinish'ed and pushed | file | diff | annotate |
| Thu, 05 Dec 2013 13:38:20 +0100 | blanchet | experiment | file | diff | annotate |
| Tue, 03 Jan 2012 18:33:17 +0100 | blanchet | reintroduced failing examples now that they work again, after reintroduction of "set" | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |
| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | 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 |