[Trac] [OpenMath] #99: logic1p is not a CD, just a CDDefinition

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Nov 5 00:07:30 CET 2008


#99: logic1p is not a CD, just a CDDefinition
---------------------------------+------------------------------------------
     Reporter:  clange           |          Owner:  jhd       
         Type:  defect           |         Status:  new       
     Priority:  major            |      Milestone:            
    Component:  OM2 Contrib CDs  |        Version:            
   Resolution:                   |       Keywords:            
Include_gantt:  0                |   Dependencies:            
   Due_assign:  YYYY/MM/DD       |      Due_close:  YYYY/MM/DD
---------------------------------+------------------------------------------
Comment (by clange):

 Replying to [comment:1 jhd]:
 > Replying to [ticket:99 clange]:
 > > logic1p consists just of one CDDefinition element
 > Wher do you get logic1p from?
 https://svn.openmath.org/www/cdfiles2/contrib/cd/logic1p.ocd

 (Note that I created the Trac component "OM2 Contrib CDs" for the
 contributed CDs in that directory.)

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


More information about the Trac mailing list