[Trac] [OpenMath] #41: sort out the namespace for notation definition
OpenMath
trac at strawberry.eecs.jacobs-university.de
Thu Jun 19 09:33:10 CEST 2008
#41: sort out the namespace for notation definition
-----------------------------+----------------------------------------------
Reporter: kohlhase | Owner: kohlhase
Type: proposal | Status: new
Priority: major | Milestone: CD3 Draft1
Component: OM3 Standard | Version:
Keywords: | Include_gantt: 0
Dependencies: | Due_assign: YYYY/MM/DD
Due_close: YYYY/MM/DD |
-----------------------------+----------------------------------------------
The development of OMDoc notation elements is somewhere between OpenMath,
MathML, and OMDoc. We have to decide which namespace we want to use. This
also means that we have to decide where the responsibility for them lies.
Probably OpenMath.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/41>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list