| Thu, 25 Nov 2021 19:56:01 +0100 | wenzelm | maintain option kodkod_scala within theory context, to allow local modification; | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | 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 |
| 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 |