OpenMath/OMSTD

attribute CD/@version

kohlhase opened this issue · 2 comments

clange on 6-Sep-2008 10:42pm

It would be nice to have an attribute CD/version. That would make processing easier, particularly in applications that support both OpenMath 2 and 3.

I suspect he means that the top-level element of a CD should be

<CD xmlns="http://www.openmath.org/OpenMathCD" version="OM2">

or something like this. we have it on OMOBJ for exactly that reason.

version="OM2">

I guess that should be version="2.0"> to be compatible with OMOBJ.

I also think we should introduce the version attribute on CDSignatures and CDGroup as well, just to be generally consistent.

If we agree on this, this should be easy to add to the RNC and the OM2r2 text.

This is taken care of in PR #63