[Trac] [OpenMath] #27: symbols for basic sts types?

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Jan 27 06:17:12 CET 2008


#27: symbols for basic sts types?
---------------------------+------------------------------------------------
    Reporter:  kohlhase    |           Owner:  jhd             
        Type:  proposal    |          Status:  new             
    Priority:  major       |       Milestone:  MathML3CD Draft1
   Component:  MathML CDs  |         Version:                  
    Keywords:              |   Include_gantt:  0               
Dependencies:              |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 the baisc types used in the *.sts and *.mts files often variables, should
 we make them constants, then we need a CD for those that are not in
 omtypes.ocd, mathmltypes.ocd, sts.ocd

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


More information about the Trac mailing list