From 571e45d2506096d7a5e37a8d830d5ddde18bc828 Mon Sep 17 00:00:00 2001 From: chernenko <chernenko@cl.uni-heidelberg.de> Date: Fri, 30 Mar 2018 18:49:33 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 82ff5b1..bb5a11d 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ Chernenko Tatjana, Toyota Utaemon Formal Semantics -WS 2018/2018 +WS 2017/2018 Dr. Vivi Nastase, Dr. Michael Herweg -- GitLab