| Sat, 13 Feb 2010 15:04:09 +0100 | more work on Nitpick's support for nonstandard models + fix in model reconstruction | file | diff | annotate |
| Tue, 09 Feb 2010 16:07:51 +0100 | optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers | file | diff | annotate |
| Fri, 05 Feb 2010 14:27:21 +0100 | added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability | file | diff | annotate |
| Tue, 02 Feb 2010 11:38:38 +0100 | added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick | file | diff | annotate |
| Fri, 18 Dec 2009 12:00:29 +0100 | polished Nitpick's binary integer support etc.; | file | diff | annotate |
| Fri, 23 Oct 2009 18:59:24 +0200 | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |