ProgTutorial/document/root.tex
changeset 525 92a3600e50e4
parent 517 d8c376662bb4
child 535 5734ab5dd86d
--- 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\\