Skip to content
Snippets Groups Projects
Normal view Permalink
jomdoc.md 413 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    lots of former projects
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 
    ---
layout: system
title: JOMDoc
teaser: A Java API for OMDoc documents.
start: 2007-09
end: 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.