From e884a48d32abe83023136c9f061402d1314b7bdd Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Fri, 25 Aug 2017 12:02:00 +0200 Subject: [PATCH] typo --- courses/comsem.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/comsem.md b/courses/comsem.md index 70195a0..4783b06 100644 --- a/courses/comsem.md +++ b/courses/comsem.md @@ -26,6 +26,6 @@ A language model is a triple of The course resources (course notes, literature, assignments) can be found [here](http://kwarc.info/teaching/ComSem). -Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog) is very +Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog)" is very helpful, but not a prerequisite. -- GitLab