From 2d48243c501170ff678b721a3585b4b90009573b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 26 Oct 2017 10:04:59 +0200
Subject: [PATCH] more

---
 courses/KRMT.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/courses/KRMT.md b/courses/KRMT.md
index 4faded0..f6eaf15 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -19,7 +19,7 @@ Beschreibungssprachen in [OMDoc/MMT](http://uniformal.github.io) formalisieren.
 
 Materialien:
 
-* [Course Notes (Computational Logic)](http://kwarc.info/teaching/KRMT)
+* [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
 * [Tutorial zur Formalisierung](https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf)
 * [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
 
-- 
GitLab