[Trac] [OpenMath] #101: Fix the CDBase of the notation definitions

[OpenMath]

#101: Fix the CDBase of the notation definitions
----------------------------+-----------------------------------------------
     Reporter:  clange      |          Owner:  kohlhase  
         Type:  task        |         Status:  new       
     Priority:  major       |      Milestone:            
    Component:  MathML CDs  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Old description:

> 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)

New description:

 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)
 IIRC we agreed on (3) earlier, so this would be a good time to put it into
 practice.

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