OMDoc Wiki

25 Sep 2005

A WIKI has been introduced for the discussion of OMDoc.

CPoint

24 Oct 2002

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

Emacs mode for OMDoc

15 Oct 2002

A native OMDoc mode for the emacs editor is announced

OMDoc Version 1.1 has been released

29 Dec 2001

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 1.1 Release Candidate

30 Nov 2001

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.