[Trac] [OpenMath] #74: Support discussion element

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Sep 8 20:45:40 CEST 2008


#74: Support discussion element
---------------------------+------------------------------------------------
    Reporter:  clange      |           Owner:  clange    
        Type:  task        |          Status:  new       
    Priority:  major       |       Milestone:            
   Component:  Ontology    |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 If this is kept, add support for it to
  * the ontology
  * the Krextor extraction module

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


More information about the Trac mailing list