[Trac] [OpenMath] #100: set1p is not a CD, just a CDDefinition

Tue Nov 4 20:06:43 CET 2008

#100: set1p is not a CD, just a CDDefinition
--------------------------------+-------------------------------------------
    Reporter:  clange           |           Owner:  jhd       
        Type:  defect           |          Status:  new       
    Priority:  major            |       Milestone:            
   Component:  OM2 Contrib CDs  |         Version:            
    Keywords:                   |   Include_gantt:  0         
Dependencies:                   |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD       |  
--------------------------------+-------------------------------------------
 set1p consists just of one CDDefinition element

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