[Trac] [OpenMath] #41: sort out the namespace for notation definition

OpenMath trac at strawberry.eecs.jacobs-university.de
Thu Jun 19 09:33:10 CEST 2008


#41: sort out the namespace for notation definition
-----------------------------+----------------------------------------------
    Reporter:  kohlhase      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 The development of OMDoc notation elements is somewhere between OpenMath,
 MathML, and OMDoc. We have to decide which namespace we want to use. This
 also means that we have to decide where the responsibility for them lies.
 Probably OpenMath.

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


More information about the Trac mailing list