[Trac] [OpenMath] #19: joint format for properties

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Jan 6 12:26:01 CET 2008

#19: joint format for properties
     Reporter:  kohlhase    |          Owner:  kohlhase  
         Type:  proposal    |         Status:  new       
     Priority:  blocker     |      Milestone:  CD3 Draft1
    Component:  CD3 Format  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
Changes (by kohlhase):

 * cc: trac at openmath.org (added)

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

More information about the Trac mailing list