[Trac] [OpenMath] #97: Duplicate CDDefinition finfield1#field_by_conway

OpenMath trac at strawberry.eecs.jacobs-university.de
Tue Nov 4 14:24:01 CET 2008


#97: Duplicate CDDefinition finfield1#field_by_conway
---------------------------+------------------------------------------------
    Reporter:  clange      |           Owner:  kohlhase  
        Type:  defect      |          Status:  new       
    Priority:  major       |       Milestone:            
   Component:  MathML CDs  |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 According to Murphy's law, something went wrong when I started to import
 the OpenMath 2 CDs into the wiki, and this time the wiki is not the
 culprit.  The finfield1 CD contains two different definitions of the
 symbol field_by_conway.  Now I suppose this is a case where we do need to
 edit the old CDs ;-)  (But for this particular task I'd rather recommend a
 text/XML editor than the wiki.)

 @Michael, there is no suitable component for reporting this.  Should we
 create one?

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


More information about the Trac mailing list