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

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 08:04:01 CET 2008


#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      
----------------------------+-----------------------------------------------
Comment (by kohlhase):

 Replying to [comment:2 jhd]:
 > Um - this is an important issue, which would need OM3 discussion (at
 least).
 I spun off the discussion to the OM3 and member-Math Mailing lists, will
 summarize the discussion here.

 > 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.
 I totally agree with this.
 > 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>.
 I like this idea, I have spun this off into its own issue #32.

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


More information about the Trac mailing list