Skip to content

Latest commit

 

History

History
35 lines (22 loc) · 2.2 KB

README.md

File metadata and controls

35 lines (22 loc) · 2.2 KB
Raw

The OpenMath Standard (Development draft)

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 Editor's Draft

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.

Building locally

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.

Contributing to the Standard Development

We use the GitHub functionalities to openly and transparently develop the OpenMath Standard.

Issue Discussions

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.

Making a Pull Request

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.