David Carlisle wrote: >> 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. Of course not, that is for the Math WG to decide. > 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. Yes, that is the nature of the coordination game, but it is good that you spell this out in public. > 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. > And I expressed my hope that this would be the majority of changes we will see.
Michael > 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. > ________________________________________________________________________ > _______________________________________________ > Om3 mailing list > [email protected] > http://openmath.org/mailman/listinfo/om3 > -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [email protected] http://kwarc.info/kohlhase skype: m.kohlhase * on Sabbatical in Auckland (NZ) until VII/2009 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
