[Trac] [OpenMath] #4: OMBVARS is nary and bvar is unary

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Jan 6 12:29:24 CET 2008

#4: OMBVARS is nary and bvar is unary
     Reporter:  kohlhase          |          Owner:  kohlhase     
         Type:  task              |         Status:  new          
     Priority:  blocker           |      Milestone:  OM3Std Draft1
    Component:  OM/MML Alignment  |        Version:               
   Resolution:                    |       Keywords:               
Include_gantt:  0                 |   Dependencies:               
   Due_assign:  YYYY/MM/DD        |      Due_close:  YYYY/MM/DD   
Changes (by kohlhase):

 * cc: trac at openmath.org (added)

Ticket URL: <https://trac.kwarc.info/OM3/ticket/4#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.

More information about the Trac mailing list