From 489a0cc750acb40480035673cef09bf1bf7dca37 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 23 May 2018 14:49:22 +0200
Subject: [PATCH] typios

---
 courses/wuv.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/courses/wuv.md b/courses/wuv.md
index edafbaf..4a0b2de 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -28,10 +28,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- |
 | 18.4. 2018 | Entfällt| |
 | 25. 4. 2018 | Michael Kohlhase| How to read scientific articles|
-| 2. 5. 2018 |  Entfaellt ||
+| 2. 5. 2018 |  Entfällt ||
 | 9. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph|
 | 16. 5.  2018 | Entfällt| | |
-| 16. 5. 2018 | Dennis Müller| Records as Types |
+| 23. 5. 2018 | Dennis Müller| Records as Types |
 | 30. 5.  2018 | ??? | ????|
 | 6. 6.  2018 | ??? | ????|
 | 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific
-- 
GitLab