| Wed, 15 Aug 2012 11:04:56 +0200 | blanchet | fixed handling of "int" in the wake of its port to the quotient package | file | diff | annotate |
| Wed, 30 May 2012 18:09:23 +0200 | huffman | temporarily comment out nitpick examples broken by changes to Int.thy | file | diff | annotate |
| Mon, 26 Mar 2012 10:42:06 +0200 | blanchet | fixed Nitpick after numeral representation change (2a1953f0d20d) | file | diff | annotate |
| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | tuned import | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | use \<emdash> rather than \<midarrow> | file | diff | annotate |