jomdoc.md

layout: system

title: JOMDoc
shorttitle: JOMDoc
teaser: A Java API for OMDoc documents

start_date: 2007-09
end_date: 2013-12

people: 
    - mkohlhase
    - nmueller
logo: public/kwarc_logo.svg

JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future.