[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