From b3eff4b4c474e42486b590440671b12c5a2f8223 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 12:31:15 +0200
Subject: [PATCH] more

---
 courses/complog.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/courses/complog.md b/courses/complog.md
index 3a7b139..ddbcbee 100644
--- a/courses/complog.md
+++ b/courses/complog.md
@@ -18,3 +18,5 @@ semesters:
 ---
 Theory and machine-oriented inference for propositional, first-order, higher-order, modal,
 and description logics. 
+
+The course resources (course notes, literature, assignments) can be found [here](http://kwarc.info/teaching/CompLog).
-- 
GitLab