This repository contains the sources and build system for the OpenMath 2 standard. The repository was initialised as copy of the original version in the OpenMath SVN repository, specifically www/standard/om20-2004-06-30.
It has been updated with a draft version which had been prepared as dropbox om-2017-03-17.
The DocBook and PDF versions of the standard are automatically built (by travis) upon commit to this repository. They are available as an "editor's draft" on the OpenMath Web Site.
To build it, just run source ./run on top-level. If you have trang.jar and
saxon9he.jar installed, this should build the standard for you.
saxon9heis available from sourcefourgetrangis available from google code archive
We use the GitHub functionalities to openly and transparently develop the OpenMath Standard.
We use the GitHub Issue Tracker to discuss open issues with the standard. This ensures that all concerns are dealt with properly and the current state of the discussion is documented.
The best way of proposing changes to the standard development is by making a pull request. In a nutshell
- fork this repository to your personal namespace (using the "Fork" button on the top left the repository page
- Make any changes in your local fork, test them by building locally, commit them to your fork, and make a new pull request via the "New pull request" button under the magentar bar (second from left). Make sure that you explain your proposed changes.
- disucss (and possibly augment) the pull request from the interface in the OpenMath/OMSTD repository.