[Trac] [OpenMath] #88: Empty MathML math object in logic1#and

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Sep 21 04:18:27 CEST 2008


#88: Empty MathML math object in logic1#and
----------------------------+-----------------------------------------------
     Reporter:  clange      |          Owner:  jhd       
         Type:  defect      |         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
----------------------------+-----------------------------------------------
Comment (by clange):

 I think this syntax is valid, but it doesn't make sense anyway.

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


More information about the Trac mailing list