From 0cb9548df6387677498d37c7c8da6455ecfc5a07 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 19 Apr 2018 10:18:25 +0200
Subject: [PATCH] fixing link

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

diff --git a/courses/KRMT.md b/courses/KRMT.md
index 222af23..0a4be1d 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -22,7 +22,7 @@ Beschreibungssprachen in [OMDoc/MMT](http://uniformal.github.io) formalisieren.
 Materialien:
 
 * [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)
+* [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/source/tutorial/mmt-math-tutorial.pdf)
 * [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
 
 Diskussionen finden auf dem
-- 
GitLab