Skip to content
Snippets Groups Projects
Forked from KWARC / kwarc.info / www
964 commits behind the upstream repository.
jomdoc.md 439 B
layout: system

title: JOMDoc
teaser: A Java API for OMDoc documents

start_date: 2007-09
end_date: 2013-12

people: 
    - mkohlhase
    - nmueller

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.