| 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 |