| Thu, 29 Oct 2009 16:06:28 +0100 | blanchet | rename "NitpickMono" to "Nitpick_Mono" in example | file | diff | annotate |
| Tue, 27 Oct 2009 14:40:24 +0100 | blanchet | internal renaming in Nitpick and fixed Kodkodi invokation on Linux; | file | diff | annotate |
| Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |