[Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs

[OpenMath]

#25: Names of the OM3/MathML3 CDs
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     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      
----------------------------+-----------------------------------------------
Changes (by jhd):

  * status:  new => assigned

Comment:

 Um - this is an important issue, which would need OM3 discussion (at
 least).
 The MathML CD Group in OpenMath IS largely the `core' set of CDs, so
 deprecating them deprecates most of the (current) names in OM. This is, of
 course, not the same as deprecating much of the functionality, but
 nevertheless serious.
 On this note (Michael, you might want to start a new item here), we could
 have, on the lines of DefMP, which I hope will actially become <FMP
 type=defining>, we could have <FMP type=alias>.

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