[om] Re: Bugs in OpenMath standard draft 3

[David Carlisle]

  FMP = element FMP { text-or-om }

  surely a textual FMP is not very formal, I would have thought this shouldb

Yes I think this is just historical and could change for OM2, that FMPs
originallly took anything, but for some time I think they have only
really been used with Openmath. This would be a change from OM1 though
so not something I could do as an "editorial fix".

    CDStatus = element {"official" | "experimental" | "private" | "obsolete"}

   and

   Role = element {"binder" | "attribution" | "semantic-attribution" |
  "error" | "default"}


Excellent suggestion. Of course this possibility of constraining element
content wasn't available in DTD, but since we've switched to Relax, we
may as well use its features!

David

-- 
http://www.dcarlisle.demon.co.uk/matthew

________________________________________________________________________
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