more

systems/omdoc.md

@@ -3,12 +3,23 @@ layout: system
 
 title: "OMDoc: Open Mathematical Documents"
 shorttitle: OMDoc
-teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
+teaser: A markup format and data model for Open Mathematical Documents and Knowledge
 
 start_date: '1998'
 
 people: 
     - mkohlhase
+    - miancu
+	- nmueller
+    - frabe
+
+supported-by:
+    - Jem
+    - mathsearch
+    - omoc
+    - openmath-tn
+    - logosphere
+    - once-cs
 
 logo: public/omdoc_logo.png
 website: http://omdoc.org
@@ -16,4 +27,11 @@ repository: https://github.com/OMDoc
 publink: http://kwarc.github.io/bibs/omdoc
 ---
 
-OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
+OMDoc is a markup format and data model for Open Mathematical Documents. It serves as
+semantics-oriented representation format and ontology language for mathematical
+knowledge. The formal part of OMDoc has been refined into the
+[MMT format](https://uniformal.github.com), and we use the
+[MMT System](https://uniformal.github.com) as the reference implementation.
+
+We are currently working on extending MMT to cover the full flexiformal coverage of
+OMDoc.