[om] Re: Bugs in OpenMath standard draft 3

David Carlisle davidc at nag.co.uk
Tue Nov 25 10:37:04 CET 2003

  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"}


   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!



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:
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

More information about the Om mailing list