Issues

Issues

• Use https://w3id.org/openmath/ for serving files

  OpenMath/OpenMath.github.io#70 · opened on Jun 30, 2023
  1

• Broken links

  OpenMath/OpenMath.github.io#69 · opened on Jun 28, 2022
  4

• Link to https://www.win.tue.nl/~ida dead

  OpenMath/OpenMath.github.io#63 · opened on Dec 20, 2018
  2

• Link to http://www.activemath.org/ is dead

  OpenMath/OpenMath.github.io#62 · opened on Dec 20, 2018
  1

• RDF version of the OpenMath CDs broken when accessed via canonical URIs

  OpenMath/OpenMath.github.io#50 · opened on Oct 3, 2017
  2

• Write a new OM/MathML alignment document

  OpenMath/OpenMath.github.io#49 · opened on Oct 3, 2017

• think about James' proposed classification of CDS and use on website

  OpenMath/OpenMath.github.io#47 · opened on Oct 1, 2017
  4

• Narrower sidebar

  OpenMath/OpenMath.github.io#42 · opened on Sep 7, 2017
  2

• Rewrite of "Technical overview" in progress

  OpenMath/OpenMath.github.io#41 · opened on Aug 23, 2017
  5

• Add the Lurch content dictionary editor to the OM Web site

  OpenMath/OpenMath.github.io#31 · opened on Jul 22, 2017
  1

• describe STS better

  OpenMath/OpenMath.github.io#23 · opened on Jun 2, 2017 · First round of fixes

• Separate mailing lists and website hosting

  OpenMath/OpenMath.github.io#20 · opened on Sep 27, 2016
  4

• rework the OM software page

  OpenMath/OpenMath.github.io#7 · opened on Sep 11, 2016 · Tasks for restructure
  2

• openmath bibliography ends in 2000

  OpenMath/OpenMath.github.io#6 · opened on Sep 11, 2016 · Tasks for restructure