Tue, 17 Nov 2009 19:08:02 +0100 | blanchet | removed "debug := true" that shouldn't have been submitted in the first place | file | diff | annotate |
Tue, 17 Nov 2009 18:24:43 +0100 | blanchet | run Nitpick examples if Kodkodi is available | file | diff | annotate |
Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | file | diff | annotate |