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.kohlh...@fau.de ----------------------------------------------------------------------
_______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
