| Wed, 22 Sep 2010 18:21:48 +0200 | wenzelm | renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning; | file | diff | annotate |
| Tue, 22 Jun 2010 12:19:06 +0200 | blanchet | make the Nitpick_Example theory processable even when Kodkodi is not installed; | file | diff | annotate |
| 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 |