From 860a5290290d792ca3234be2459ff8ed570bb38c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 23 May 2018 14:52:03 +0200
Subject: [PATCH] lots of typos

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

diff --git a/courses/wuv.md b/courses/wuv.md
index 4a0b2de..cc18eb9 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -34,11 +34,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 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
+| 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific
 formal languages  and informal text documents |
 | 4. 7. 2018 | Martin Holzwarth | Framing | 
-| ???? | Alpcan Dalga | OpenMath & Dennis |
-| ???? | SCSCP Müller| A View Finder for MMT libraries|
+| ???? | Alpcan Dalga | OpenMath & SCSCP |
 | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
 
 ##### Vortragsthemen
-- 
GitLab