| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | file | diff | annotate |
| Wed, 30 Nov 2011 16:27:10 +0100 | wenzelm | prefer typedef without extra definition and alternative name; | file | diff | annotate |
| Fri, 23 Sep 2011 10:31:12 +0200 | blanchet | synchronized section names with manual | file | diff | annotate |
| Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |