OpenMath Content Dictionary Wiki

Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.

Release: JOMDoc v0.1.1

The first version of JOMDoc, our Java API for OMDoc documents, has been released!

Krextor: KWARC RDF extractor

Krextor is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages (including OMDoc) as well as multiple output RDF notations.

Call for Module Maintainers

We will restart development on the OMDoc format with the goal of reaching Version 2.0. To make the format more modular, speed up the development process and share the burden, we will have module maintainers who drive the development process in close cooperation with the OMDoc project leader.
Please nominate yourself or others by e-mail to m.kohlhase at jacobs-university dot de or directly to the OMDoc mailing list.

Web Site reorganization

We have reorganized the web site to better reflect the division of the OMDoc format and the omdoc.org community portal. Please report any problems and inconsistencies to m.kohlhase at jacobs-university dot de

www.OMDoc.org operational

We have moved the OMDoc web pages to http://www.omdoc.org

svn.OMDoc.org operational

We have moved the OMDoc Subversion Repository to https://svn.omdoc.org/repos/omdoc, please check out the new repository.

OMDoc.org acquired

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.

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://svn.omdoc.org/repos/omdoc.org/branches/omdoc-1.2/doc/spec/errata.pdf.
A version of the OMDoc specification that contains all errata corrections (and markup of what changed) can be found at https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/doc/spec/spec.pdf.
To report an erratum, please use the Ticketing System with component "specification" and version "1.2".

OMDoc-1.2 released

We have released the OMDoc 1.2 format.
After more than 4 years of development, his fixes a new version of the OMDoc format, and provides a stable API for developers.
This version of OMDoc introduces numerous tweaks in the OMDoc data model and syntax without changing the overall format.
For a while now OMDoc development will continue on the omdoc1.2 branch until tools and resources have stabilized. All developers should change over to the branch.

OMDoc-1.2 branch cut

We have cut a subversion branch for OMDoc version 1.2. It can be checked out with the URL https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/ via the subversion client.
The purpose of this branch is to maintain the OMDoc 1.2 specification and resources. There will not be any more development of the OMDoc format on this branch though errata and bug fixes will be maintained.
Projects that develop towards OMDoc-1.2 should work on this branch.
Since trunk development is currently on hold for project planning, we expect most development to take place on the omdoc-1.2 branch.

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

OMDoc Wiki

A WIKI has been introduced for the discussion of OMDoc.

OMDoc 1.2 Draft

The first complete draft for the OMDoc Version 1.2 specification report is out for download

Emacs mode moves

The emacs mode for OMDoc is now hosted on mathweb.org

Public Identifiers for OMDoc DTDs

Following a request from Paul Libbrecht, we have fixed public identifiers for OMDoc DTDs

Bugzilla

We now use the BugZilla bug-tracker for OMDoc development. Please feel free to enter bugs (you may have to edit your Bug groups for that).

Call for Submissions (Deadline December 15. 2002)

Please submit system descriptions for OMDoc applications until December 15. 2002 for inclusion into the OMDoc specification or (if this becomes too large) a separate OMDoc implementation report. I am looking for descriptions of

systems or projects that use the OMDoc format or data model in a central facility
experiences of writing OMDoc interfaces for existing systems.
tools that allow to author or generate OMDoc or that transform OMDoc into other formats
large knowledge collections in OMDoc form

If you have a submission that you think is relevant to this enterprise and that I have forgotten in the list above, please contact me.
Submissions should be in LaTeX (or OMDoc, of course) and should not exceed 4 pages in length.

CPoint

CPoint: semantic markup tool and OMDoc converter for M$ PowerPoint announced

Emacs mode for OMDoc

A native OMDoc mode for the emacs editor is announced

OMDoc DTD modularized

A first attempt at modularizing the OMDoc DTD (modules)

OMDoc Style sheets under GPL

Re-released the style sheets under the Gnu LGPL (Lesser General Public License), so that they can be linked into non-Gnu software systems like ActiveMath

OMDoc Version 1.1 muddle up has been cleared

Due to a muddle up, some corrections to the OMDoc release candidate did not make it into the release. I have corrected this retro-actively in the released version.
All errors that will be discovered after today will be tracked in the errata document.

OMDoc Version 1.1 has been released

This version is mainly a bug-fix release that has become necessary by the experiments of encoding legacy material and theorem prover interfaces in OMDoc. The changes are relatively minor, mostly adding optional fields. Version 1.1 of OMDoc freezes the development so that version 2.0 can be started off.
In contrast to the OMDoc format which has not changed much, the manual is a total re-write, it closes many documentation gaps, clarifies various remaining issues. and adds a multitude of new examples.

OMDoc Version 1.1 Release Candidate

I have put the DTD and the omdoc manual in the final resting place, and changed the CVS sources to the OMDoc 1.1 tree. Everything you see here is relative to Version 1.1 now.
Please comment on the specification and the DTD until December 19, I will release OMDoc version 1.1 on December 21. 2001 (merry christmas).

OMDoc 1.0 is released

Here is the manual