more cross-references

README.md

@@ -36,15 +36,15 @@ Topcis are available in the following larger areas, individual topics will be en
 [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be clarified in
 their discussion areas.
 
-* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4
-* Representation of logical systems and their trnaslations via Theory Graphs: #5 #8
+* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 #11 #12 #16 #20 #22 #24 
+* Representation of logical systems and their translations via Theory Graphs: #5 #8
 * 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 #6
-* [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
-  [MathHub System](http://mathhub.info)). #7
+* The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28
+* Semantics-Extraction from technical/mathematical documents: #2 #6
+* [Mathematical search engines](http//search.mathweb.org): #26 #27 
+* [Integration of theorem prover libraries](http://kwarc.info/projects/OAF): #7
 * Active Dokuments and the integration of semantic services into legal/technical/mathematical
-  documents (e.g. for course materials): #9 #23
+  documents (e.g. for course materials): #9 #10 #23
 * Interoperability and integration of mathematical software systems - e.g. computer
   algebra, math data bases, theorem provers (in the
   [OpenDreamKit](http://opendreamkit.org) EU project) #7