search

OpenMath / OpenMath.github.io

For the OpenMath.org website
https://openmath.github.io/
5 stars 10 forks source link

put the new standard (OMSTD2R1) onto the Web Site. #32

Closed kohlhase closed 7 years ago

kohlhase commented 7 years ago

The OM Workshop approved R1 and James made the last editorial changes. So we should update OM2 in place (but keep the etitor's draft).

davidcarlisle commented 7 years ago

updated as https://openmath.github.io/standard/ with links to om20 r1 and editors draft and the original om2.0 added to list of older versions 1.1 and 1,0

kohlhase commented 7 years ago

thanks.