[Trac] [OpenMath] #99: logic1p is not a CD, just a CDDefinition
OpenMath
trac at strawberry.eecs.jacobs-university.de
Wed Nov 5 00:03:15 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 jhd):
Replying to [ticket:99 clange]:
> logic1p consists just of one CDDefinition element
Wher do you get logic1p from?
--
Ticket URL: <https://trac.mathweb.org/OM3/ticket/99#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list