diff -r 25f544b077f9 -r 92a3600e50e4 ProgTutorial/document/root.tex --- a/ProgTutorial/document/root.tex Tue Jun 19 05:17:46 2012 +0100 +++ b/ProgTutorial/document/root.tex Tue Jun 19 15:02:22 2012 +0100 @@ -170,6 +170,7 @@ Sascha & Böhme\\ Lukas & Bulwahn\\ Jeremy & Dawson\\ + Rafal & Kolanski\\ Alexander & Krauss\\ Tobias & Nipkow\\ Andreas & Schropp\\