| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |
| Tue, 22 Jun 2010 12:19:06 +0200 | blanchet | make the Nitpick_Example theory processable even when Kodkodi is not installed; | file | diff | annotate |