[Om3] Pragmatics, timing, summary, and proposed resolutions

[David Carlisle]

> There are two possible ways of changing the draft, one is to change the
> pragmatic-to-strict translation (big ticket item), and another is to
> possibly extend the definition of strict content MathML 

ah with that clarification, I now understand what you mean, thanks.

> (one line in the schema and a couple in the spec text).

Rather more than that I fear. But in anycase I don't think that we
should assume that any changes that the OpenMath Soc.  decides to make
to OpenMath will be automatically incorporated into MathML.  The OM
group would have to make any decision to change OpenMath at this stage
in the knowledge that this might, or might not, lead to it slipping out
of alignment with MathML again, depending on what the Math WG decide to
do at that time. Of course there are many things that OM could decide to
do, such as new symbols for handling conditions that would not have any
direct impact on the MathML spec.

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________