| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |
| Mon, 06 Sep 2010 17:51:26 +0200 | blanchet | remove "minipick" (the toy version of Nitpick) and some tests; | 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, 18 Dec 2009 12:00:29 +0100 | blanchet | polished Nitpick's binary integer support etc.; | file | diff | annotate |
| Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |