[Om] The OM2r2 (Revision 2 of the OpenMath 2 standard) process
Michael Kohlhase
michael.kohlhase at fau.de
Sun Oct 8 07:16:33 CEST 2017
Dear all,
You may have seen, we have earnestly begun working on OM2 revision
2 in recent weeks.
My goal for this is to get in as many error fixes and clarifications
that have been noticed over the years as possible, as long as we can
consider them to be within the bounds of "what was intended at the time".
We have so far
1. separated the OM2 standard and the CDs into GitHub repositories of
their own [1,2]
2. dusted off the build processes and the publishing process to the new
web site (thanks a lot, David)
3. triaged all the issues from the OM3 process a few years back into
OMSTD and CDs issues.
4. already taken care of some of them, some outright, though some are
still pull requests that need feedback.
5. formed an editorial board for OM2r2: David Carlisle, James Davenport,
Patrick Ion, and myself, there has not been a separate mandate from
the community on this, but the SC hopes that you agree.
With all this (and we state so in the repositories) we have the
beginning of a much more transparent and open process of development
of the OM standard and CDs. Here we are communicating this to you,
OM community.
Here are some principles for the evolution of OpenMath:
1. We aim to get OM2r2 approved by the next OM workshop, until
which time it is an editor's draft, see [3].
2. We want to the OM community to mention gripes, raise issues, and
contribute pull requests to [1,2].
3. also, any feedback on the process is welcome.
Michael
[1] http://github.com/Openmath/CDs
[2] http://github.com/OpenMath/OMSTD
[3] https://openmath.github.io/standard/om20-editors-draft/
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de
----------------------------------------------------------------------
More information about the Om
mailing list