[Om] Call for comments: OM Standard 2.0 (first revision)

[Michael Kohlhase]

Dear OpenMathers,

We have put up an editor's edition [1] (mostly by James Davenport and
Patrick Ion) of the first revision of the OpenMath 2.0 standard. We
believe that this takes care of all the necessary changes identified on
the last OpenMath Business Meeting.

We would like to open the discussions to comments from the OpenMath
Community in preparation for a formal decision to publish the revised
Standard in-place for OpenMath 2.0

Please direct any comments as answers to this thread, or (even better)
as GitHub issues and make concrete change proposals as pull requests
(see the repository README [2] for details).

Please comment before the OpenMath Business Meeting on July 17. 2017.

Michael

[1] https://openmath.github.io/standard/om20-editors-draft/omstd20.html

[2] https://github.com/openmath/OMSTD
<https://openmath.github.io/standard/om20-editors-draft/omstd20.html>

<https://openmath.github.io/standard/om20-editors-draft/omstd20.html>--

----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase,  http://kwarc.info/kohlhase, skype: mibein42

Professur für Wissensrepräsentation & -verarbeitung
  Informaitk, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
  tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de 
----------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20170704/cf11a00b/attachment.html>