From 39dd9ac01beab61111aaa85f71a6911d03d2294d Mon Sep 17 00:00:00 2001
From: Max Rapp <maxgrapp@googlemail.com>
Date: Thu, 2 May 2019 12:09:00 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 2e449b3..ac9afb0 100644
--- a/README.md
+++ b/README.md
@@ -43,7 +43,7 @@ their discussion areas.
   [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
-* Active Dokuments and the integration of semantic services into technical/mathematical
+* Active Dokuments and the integration of semantic services into legal/technical/mathematical
   documents (e.g. for course materials): #9 #23
 * Interoperability and integration of mathematical software systems - e.g. computer
   algebra, math data bases, theorem provers (in the
-- 
GitLab