[Trac] [OpenMath] #22: Do something about the MathML2 type information

[OpenMath]

#22: Do something about the MathML2 type information
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  task        |         Status:  new             
     Priority:  blocker     |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
----------------------------+-----------------------------------------------
Old description:

> We have the old MathML2 type information from appendix c of the MathML
> spec in the xxx.mts files at
> [[http://svn.openmath.org/OpenMath3/cds/MathML]]. We should make use of
> this for the MathML CDs (see also issue
> [[https://trac.kwarc.info/OM3/ticket/21 21]] for details).

New description:

 We have the old MathML2 type information from appendix c of the MathML
 spec in the xxx.mts files at
 [[http://svn.openmath.org/OpenMath3/cd/MathML]]. We should make use of
 this for the MathML CDs (see also issue
 [[https://trac.kwarc.info/OM3/ticket/21 21]] for details).

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/22#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.