2012-01-03 | blanchet | ported Minipick to "set" | file | diff | annotate |
2011-10-12 | wenzelm | discontinued obsolete alias structure ProofContext; | file | diff | annotate |
2011-09-23 | blanchet | first step towards extending Minipick with more translations | file | diff | annotate |
2011-09-21 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |