| Wed, 08 Apr 2009 13:42:18 +0100 | Christian Urban | polished | file | diff | annotate |
| Wed, 08 Apr 2009 10:40:16 +0100 | Christian Urban | added a section about naming conventions | file | diff | annotate |
| Fri, 03 Apr 2009 07:55:07 +0100 | Christian Urban | various additions | file | diff | annotate |
| Tue, 24 Mar 2009 12:09:38 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Mon, 23 Mar 2009 18:28:41 +0100 | Christian Urban | merged | file | diff | annotate |
| Mon, 23 Mar 2009 09:18:46 +0100 | griff | corrected typos + some small reformulations | file | diff | annotate |
| Mon, 23 Mar 2009 18:17:24 +0100 | Christian Urban | some polishing | file | diff | annotate |