A Java API for OMDoc documents

Start: September 2007
End: December 2013

Prof. Dr. Michael Kohlhase
Dr. Normen Müller

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.