| Wed, 12 Dec 2012 11:18:06 +0100 | blanchet | got rid of support for Kodkodi < 1.2.14 | file | diff | annotate |
| Thu, 30 Aug 2012 11:31:20 +0200 | blanchet | adjust example | file | diff | annotate |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | ported Minipick to "set" | file | diff | annotate |
| Wed, 12 Oct 2011 16:21:07 +0200 | wenzelm | discontinued obsolete alias structure ProofContext; | file | diff | annotate |
| Fri, 23 Sep 2011 14:25:53 +0200 | blanchet | first step towards extending Minipick with more translations | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |