[om] Draft Specification of OpenMath 2

[Bill Naylor]

Hi,

I like the new OMR reference feature of OpenMath2, it strikes me as very
powerful.

I note that the CDGroupRevision element which occurs as optional content
to the CDGroup element (figure 5.3, section 5.4.2.1) has no definition.

There is also an omission in the CDUses element to the example content
dictionary error.ocd given in appendix 5, setname1 is referenced in the
first example, but does not appear in CDUses. I also note that this is an
omission in the official error cd, on the OpenMath site.
arith1 is also mentioned in an example, though this is supposed to be an
unrecognised symbol (plurse) so I don't know if that counts?

cheers,

Bill.

--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems