| Tue, 11 Jun 2019 23:31:09 +0100 | Christian Urban | minor updated | file | diff | annotate |
| Thu, 16 May 2019 19:56:12 +0200 | Norbert Schirmer | tuned ML-antiquotations; added intro portions. | file | diff | annotate |
| Thu, 20 Aug 2009 10:38:26 +0200 | Christian Urban | polished | file | diff | annotate |
| Sat, 09 May 2009 03:11:36 +0200 | Christian Urban | added some text to the pretty-printing section | file | diff | annotate |
| Thu, 19 Mar 2009 13:28:16 +0100 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | file | diff | annotate | base |