From e04bc920b71aaec4092b91c9200bf643e3dbc1cf Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 08:31:53 +0200
Subject: [PATCH] correcting semester

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

diff --git a/courses/KRMT.md b/courses/KRMT.md
index 2c38dcb..c1da941 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -1,11 +1,11 @@
 ---
 layout: course
 
-title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
+title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
 instructor: mkohlhase
 
 semesters:
-    - SS16/17
+    - SS17
 ---
 
 Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
-- 
GitLab