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 |