The OMDOC Distribution

The primary means of getting OMDoc (and keeping up with it) is via its Subversion repository https://svn.omdoc.org.

Read access is directly available on the web using a standard web browser. The repository can even be directly mounted on some operating systems. For write access please contact m.kohlhase at jacobs-university dot de

For a while now OMDoc development will continue on the omdoc1.2 branch until tools and resources have stabilized.

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package