[om] Draft Specification of OpenMath 2

[Mike Dewar]

Thanks Bill,

I've added definitions for CDGroupRevision and CDGroupVersion (which was
also missing).

I've deleted CDUses completely from the example CD since it is now
optional and deprecated (the information it contains can be extracted
automatically from the CD very easily).  I imagine that we will also
remove them from the CDs on the website if people agree.

I won't put another version of the document on the website yet, to allow
other people time to read and digest the existing one.

Cheers, Mike.

On Tue, Oct 14, 2003 at 01:58:01PM +1300, Bill Naylor wrote:
> 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
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
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