| Tue, 27 Apr 2010 12:23:06 +0200 | Christian Urban | more polishing on the paper | file | diff | annotate |
| Mon, 26 Apr 2010 20:17:41 +0200 | Christian Urban | some changes to the paper | file | diff | annotate |
| Wed, 21 Apr 2010 17:42:57 +0200 | Christian Urban | some small changes | file | diff | annotate |
| Mon, 19 Apr 2010 15:37:33 +0200 | Christian Urban | small updates to the paper; remaining points in PAPER-TODO | file | diff | annotate |