From a00d601dc960dbeed750d0f602245931e05133ba Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 17 Nov 2016 14:01:32 +0100
Subject: [PATCH] spell

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index f5b6763..768fa5a 100644
--- a/README.md
+++ b/README.md
@@ -43,3 +43,6 @@ Topcis are available in the following larger areas, individual topics will be en
   algebra, math data bases, theorem provers (in the
   [OpenDreamKit](http://opendreamkit.org) EU project)
 * Cognitive engineering (semantische information/help systems for CAD/CAM systems).
+
+<!--  LocalWords:  ssem
+ -->
-- 
GitLab