[Trac] [OpenMath] #101: Fix the CDBase of the notation definitions
OpenMath
trac at strawberry.eecs.jacobs-university.de
Mon Nov 10 18:43:45 CET 2008
#101: Fix the CDBase of the notation definitions
---------------------------+------------------------------------------------
Reporter: clange | Owner: kohlhase
Type: task | Status: new
Priority: major | Milestone:
Component: MathML CDs | Version:
Keywords: | Include_gantt: 0
Dependencies: | Due_assign: YYYY/MM/DD
Due_close: YYYY/MM/DD |
---------------------------+------------------------------------------------
The current *.ntn files have lots of `cdbase="FIXME"` references. What
should this actually be?
1. explicitly http://www.openmath.org/cd
1. implicitly http://www.openmath.org/cd, as it is the default
1. drop @cdbase, @cd, and @name (As the target symbol is implicitly
given by the prototype anyway)
--
Ticket URL: <https://trac.mathweb.org/OM3/ticket/101>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list