| Tue, 31 Jan 2012 16:26:36 +0000 | Christian Urban | 2 typos found by John Wickerson in QPaper | file | diff | annotate |
| Tue, 24 Jan 2012 14:29:07 +0000 | Christian Urban | made all papers work again | file | diff | annotate |
| Thu, 02 Jun 2011 16:15:18 +0100 | Christian Urban | typo | file | diff | annotate |
| Mon, 02 May 2011 13:01:02 +0800 | Christian Urban | updated Quotient paper so that it compiles again | file | diff | annotate |