From 38bd308689ae2f6b3dce0f1d34802df9535f6289 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 08:30:59 +0200
Subject: [PATCH] more
---
systems/omdoc.md | 22 ++++++++++++++++++++--
1 file changed, 20 insertions(+), 2 deletions(-)
diff --git a/systems/omdoc.md b/systems/omdoc.md
index 983c596..357dde8 100644
--- a/systems/omdoc.md
+++ b/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.
--
GitLab