Giter VIP home page Giter VIP logo

omstd's Introduction

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.

omstd's People

Contributors

davidcarlisle avatar jameshdavenport avatar kohlhase avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.