| Thu, 08 Oct 2009 21:49:11 +0200 | Christian Urban | polished on the pretty printing section | file | diff | annotate |
| Wed, 07 Oct 2009 11:28:40 +0200 | Christian Urban | reorganised the certified terms section; tuned | file | diff | annotate |
| Sat, 03 Oct 2009 19:10:23 +0200 | Christian Urban | more work | file | diff | annotate |