[Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs
OpenMath
trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 08:04:01 CET 2008
#25: Names of the OM3/MathML3 CDs
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: assigned
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
----------------------------+-----------------------------------------------
Comment (by kohlhase):
Replying to [comment:2 jhd]:
> Um - this is an important issue, which would need OM3 discussion (at
least).
I spun off the discussion to the OM3 and member-Math Mailing lists, will
summarize the discussion here.
> The MathML CD Group in OpenMath IS largely the `core' set of CDs, so
deprecating them deprecates most of the (current) names in OM. This is, of
course, not the same as deprecating much of the functionality, but
nevertheless serious.
I totally agree with this.
> On this note (Michael, you might want to start a new item here), we
could have, on the lines of DefMP, which I hope will actially become <FMP
type=defining>, we could have <FMP type=alias>.
I like this idea, I have spun this off into its own issue #32.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/25#comment:3>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list