| Mon, 22 Feb 2010 19:31:00 +0100 | blanchet | enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit | file | diff | annotate |
| Wed, 17 Feb 2010 12:14:08 +0100 | blanchet | added yet another hint to Nitpick's output, this time warning about problems for which nothing was effectively tested | file | diff | annotate |
| Sat, 13 Feb 2010 15:04:09 +0100 | blanchet | more work on Nitpick's support for nonstandard models + fix in model reconstruction | file | diff | annotate |