From 53b876b6e6c5dfc980079ba9c7f570dd23a32e3a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Mon, 30 Mar 2020 10:54:15 +0200
Subject: [PATCH] more

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

diff --git a/README.md b/README.md
index 9d647ff..f378928 100644
--- a/README.md
+++ b/README.md
@@ -38,8 +38,10 @@ their discussion areas.
 
 * 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
-* The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28
+* Serious Games for Maths (based on logic and theory graphs): #1 #3 (but also see the
+  [project issues](https://github.com/UFrameIT/UFrameIT/issues)
+* The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28 (but also see the
+  project issues: [Frontend](https://github.com/MathHubInfo/Frontend/issues) [Backend](https://github.com/MathHubInfo/MathHub/issues)
 * 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
-- 
GitLab