more

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