| Tue, 31 Aug 2010 23:50:40 +0200 | blanchet | fix typo | file | diff | annotate |
| Wed, 18 Aug 2010 11:14:33 +0200 | blanchet | with Kodkodi 1.2.15, Java 1.5 is fine | file | diff | annotate |
| Wed, 18 Aug 2010 10:42:04 +0200 | blanchet | gracefully handle the case where the JVM is too old in Nitpick | file | diff | annotate |
| Mon, 09 Aug 2010 12:40:15 +0200 | blanchet | use "declaration" instead of "setup" to register Nitpick extensions | file | diff | annotate |
| Fri, 06 Aug 2010 21:10:29 +0200 | blanchet | minor doc changes | file | diff | annotate |
| Fri, 06 Aug 2010 17:18:29 +0200 | blanchet | document the non-legacy interfaces | file | diff | annotate |