From f4384b003453c1938d2c32b8449c39fa41e785a0 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sat, 4 Apr 2020 16:24:46 +0200
Subject: [PATCH] more

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

diff --git a/README.md b/README.md
index 012640e..77a9437 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ their discussion areas.
 * [Mathematical search engines](http//search.mathweb.org): #26 #27 
 * [Integration of theorem prover libraries](http://kwarc.info/projects/oaf/): #7 #29 #30
 * Active Dokuments and the integration of semantic services into legal/technical/mathematical
-  documents (e.g. for course materials): #9 #10 #23
+  documents (e.g. for course materials): #9 #10 #23 #29 #30
 * 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
-- 
GitLab