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

[Michael Kohlhase]

David Carlisle wrote:
>> I am wondering if you read the text I have written. The whole point was
>> to try to dissociate the translation from the strict MathML. And the
>> explicitly stated point (plan for MathML) was to do the translation in a
>> way that is OM2-compatible.
>>     
>
>
> If that's what you meant then I agree, but what you wrote appeared to
> suggest that we do that for the next WD of MathML3 but then revise the
> MathML draft after the OM meeting in July. If that isn't what you meant,
> I don't know how to interpret the text that I quoted.
>
> What did you mean by 
>
>   
>> so that they can be incorporated into the MathML3 specification of
>> SCM3.
>>     
>
> If you didn't mean that the MathML draft should change after July?
>   
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 (one line in the
schema and a couple in the spec text). You were harping on about the
first, which was explicitly excluded by my e-mail)

> > then MathML's translation to strict shouldn't use them as we'd be too far
> > down the line to redo all the translations to strict (even if we wanted
> > to).


Yes, I do want to have a  possibility for changing the MathML3 spec for the sake of compatibility, and in fact we may very well be obliged to if that is part of the last call comments process. 

@Robert, could you please enlighten us about the planned timetable for last call?

Michael 

> Confused,
>
> 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. 
> ________________________________________________________________________
>   

-- 
----------------------------------------------------------------------
 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
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * on Sabbatical in Auckland (NZ) until VII/2009
----------------------------------------------------------------------