From 1e5399f3e205150af017a7b91b4d07d0db28ac1c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 17 Nov 2016 14:01:14 +0100
Subject: [PATCH] more

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

diff --git a/README.md b/README.md
index 2b2ef3b..f5b6763 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Topics for Theses in the [KWARC](http://kwarc.info) Group
+# Topics for Projects and Theses in the [KWARC](http://kwarc.info) Group
 
 ## Contact
 [Prof. Michael Kohlhase](http://kwarc.info/kohlhase)
@@ -31,10 +31,10 @@ 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 
 
-* Representation of mathematical knowledge via Theory Graphs: #2
-* Serious Games for Maths (based on logic and theory graphs): #1 
+* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4
+* 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))
+  [mathematical search engines](http//search.mathweb.org)); #2 
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
   [MathHub System](http://mathhub.info)).
 * Active Dokuments and the integration of semantic services into technical/mathematical
-- 
GitLab