| Tue, 22 Jun 2010 12:19:06 +0200 | blanchet | make the Nitpick_Example theory processable even when Kodkodi is not installed; | file | diff | annotate |
| Wed, 10 Mar 2010 19:21:59 +0100 | blanchet | improve precision of "card" in Nitpick | file | diff | annotate |
| 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 |
| Fri, 05 Feb 2010 14:27:21 +0100 | blanchet | added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability | file | diff | annotate |
| Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |