From b204b814e183924429ba8b8e563d75ce9d210cd5 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 7 Sep 2016 14:17:57 +0200
Subject: [PATCH] adding issue

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

diff --git a/README.md b/README.md
index 6465781..cee4290 100644
--- a/README.md
+++ b/README.md
@@ -30,7 +30,7 @@ below, in particular, you should contact the Principal Investigator of KWARC:
 Topcis are available in the following larger areas, individual topics will be encoded as
 [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their 
 
-* Serious Games for Maths (based on logic and theory graphs)
+* Serious Games for Maths (based on logic and theory graphs): #1 
 * Semantics-Extraction from technical/mathematical documents (and the use of this in
   [mathematical search engines](http//search.mathweb.org))
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
-- 
GitLab