OMDoc.org acquired, moving infrastructure

We will use the domain OMDoc.org for the OMDoc project. Expect to see the web pages at http://www.omdoc.org, the repository at https://svn.omdoc.org and the ticketing system at https://trac.omdoc.org.

Read more ...

OMDoc-1.2 Errata Process

As with any release, the release of the OMDoc 1.2 specification will bring wider use and this flush out bugs that went unnoticed. These bugs (called errata for paper documents) are tracked in an errata document at https://github.com/OMDoc/OMDoc-1.2/doc/spec/errata.pdf.

Read more ...

OMDoc-1.2 released

We have released the OMDoc 1.2 format.

Read more ...

OMDoc-1.2 branch cut

We have cut a subversion branch for OMDoc version 1.2. It can be checked out with the URL subversion client.

Read more ...

OMDoc Book finalized

The OMDoc Book has been finalized and sent to Springer Verlag. Once the corrections are worked in, we will release the OMDoc1.2 Specification

Read more ...