[Trac] [OpenMath] #7: Denotation official of CDs

OpenMath trac at strawberry.eecs.jacobs-university.de
Tue Jan 29 05:41:38 CET 2008


#7: Denotation official of 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      
----------------------------+-----------------------------------------------
Old description:

> OpenMath2 standard only allows <code>official</code> status for CDs
> approved
>           by the OM Society. This seems overly proprietary. The MathML
> CDs should also be
>           official. Change in OpenMath 3?

New description:

 OpenMath2 standard only allows 'official' status for CDs approved by the
 OM Society. This seems overly proprietary. The MathML CDs should also be
 official. Change in OpenMath 3?

Comment (by kohlhase):

 I think we are moving towards a consensus here. We should probably knock
 this off in the next meeting.

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


More information about the Trac mailing list