[Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
trac at strawberry.eecs.jacobs-university.de
Sun Jan 6 12:27:35 CET 2008
#7: Denotation official of CDs
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: MathML3CD Draft1
Component: MathML CDs | 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/7#comment:3>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list