Tue, 31 Jan 2012 16:26:36 +0000 | Christian Urban | 2 typos found by John Wickerson in QPaper | changeset | files |
Tue, 24 Jan 2012 17:43:07 +0000 | Christian Urban | repaired all slides | changeset | files |
Tue, 24 Jan 2012 16:51:01 +0000 | Christian Urban | tuned make-file | changeset | files |