From 5165e03c80d021b658a9f1394d6965ececef3bc7 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 1 Feb 2017 10:54:17 +0100
Subject: [PATCH] one more

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index c39fa96..c20fe07 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ their discussion areas.
 * Representation of logical systems and their trnaslations via Theory Graphs: #5
 * Serious Games for Maths (based on logic and theory graphs): #1 #3
 * Semantics-Extraction from technical/mathematical documents (and the use of this in
-  [mathematical search engines](http//search.mathweb.org)); #2 
+  [mathematical search engines](http//search.mathweb.org)); #2 #6
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
   [MathHub System](http://mathhub.info)).
 * Active Dokuments and the integration of semantic services into technical/mathematical
-- 
GitLab