Skip to content
Snippets Groups Projects
Normal view Permalink
jomdoc.md 439 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    lots of former projects
    Michael Kohlhase committed
    1 2 
    ---
layout: system
    Tom Wiesing's avatar
    Get systems pages ready for deployment  
    Tom Wiesing committed
    3
    Michael Kohlhase's avatar
    lots of former projects
    Michael Kohlhase committed
    4 
    title: JOMDoc
    Tom Wiesing's avatar
    Get systems pages ready for deployment  
    Tom Wiesing committed
    5 6 7 8 9 10 11 12 
    teaser: A Java API for OMDoc documents

start_date: 2007-09
end_date: 2013-12

people: 
    - mkohlhase
    - nmueller
    Michael Kohlhase's avatar
    lots of former projects
    Michael Kohlhase committed
    13 
    ---
    Tom Wiesing's avatar
    Get systems pages ready for deployment  
    Tom Wiesing committed
    14
    Michael Kohlhase's avatar
    lots of former projects
    Michael Kohlhase committed
    15 
    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.