[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