From 5a3fee5c76c672f1cea5d7526b92da4e077faadc Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 26 Nov 2019 17:07:14 +0100
Subject: [PATCH] tweaks

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

diff --git a/courses/wuv.md b/courses/wuv.md
index a3ae5b5..4d8865d 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -32,18 +32,18 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 16. 10. 2019| Rabe | Admin, Themenvergabe |
 | 23. 10. 2018 | Michael Kohlhase| How to read scientific articles|
 | 30. 10. 2018 | - | no seminar | 
-| 6. 11. 2018 | Rabe/Kohlhase | How to give a talk| 
+|   6. 11. 2018 | Rabe/Kohlhase | How to give a talk| 
 | 13. 11. 2018 | Max Rapp |Formalising the Law in Theory Graphs | 
 | 20. 11. 2018 |Florian Rabe | Intermediate Language for Formalization| 
 | 27. 11. 2018 | Florian Rabe | Category of Theories, Diagram Operators  | 
-| 4. 12. 2018 | | | 
+|   4. 12. 2018 | | | 
 | 11. 12. 2018 | | | 
 | 18. 12. 2018 | | | 
-| 8. 1. 2019 | | | 
-| 15. 1. 2019 | Takuto Asakura (NII Tokyo) | (something on Math Linguistics) | 
-| 22. 1. 2019 | | | 
-| 29. 1. 2019 | Lorenz Oberhauser| Curry Howard Isomorphism| 
-| 5. 2. 2019 | Max Rapp| ALMANAC and on | 
+|   8. 1.   2019 | | | 
+| 15. 1.   2019 | Takuto Asakura (NII Tokyo) | (something on Math Linguistics) | 
+| 22. 1.   2019 | | | 
+| 29. 1.   2019 | Lorenz Oberhauser| Curry Howard Isomorphism| 
+|   5. 2.   2019 | Max Rapp| ALMANAC and on | 
 
 ##### Vortragsthemen
 
-- 
GitLab