[Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 07:58:19 CET 2008


#23: sort out symbols for associative binary operators, e.g. union
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  new             
     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 kohlhase):

  * milestone:  CD3 Draft1 => MathML3CD Draft1

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


More information about the Trac mailing list