From 0749c73dda35ceed8929c47cc4b4140a4cfbe477 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 2 Feb 2017 07:31:19 +0100
Subject: [PATCH] more

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

diff --git a/README.md b/README.md
index 7357d69..f2df0e9 100644
--- a/README.md
+++ b/README.md
@@ -38,11 +38,11 @@ their discussion areas.
 * Semantics-Extraction from technical/mathematical documents (and the use of this in
   [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)).
+  [MathHub System](http://mathhub.info)). #7
 * Active Dokuments and the integration of semantic services into technical/mathematical
   documents (e.g. for course materials)
 * Interoperability and integration of mathematical software systems - e.g. computer
   algebra, math data bases, theorem provers (in the
-  [OpenDreamKit](http://opendreamkit.org) EU project)
+  [OpenDreamKit](http://opendreamkit.org) EU project) #7
 * Cognitive engineering (semantische information/help systems for CAD/CAM systems).
-* Corpus Linguistics for Mathematics: 
+* Corpus Linguistics for Mathematics: #2 #6
-- 
GitLab