JOMDoc
Prof. Dr. Michael Kohlhase
Dr. Normen Müller
A Java API for OMDoc documents
Start: September 2007
End: December 2013


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.