diff --git a/README.md b/README.md index 2e449b3029a140fead3b8bd3653043f2bc351d27..ac9afb0f89c1db501984ea7d4cfdde290f342037 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