Issues

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

  OpenMath/OpenMath.github.io#70 · Filter by author kenwenzel opened on Jun 30, 2023
  1

• Broken links

  OpenMath/OpenMath.github.io#69 · Filter by author saona-raimundo opened on Jun 28, 2022
  4

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

  OpenMath/OpenMath.github.io#63 · Filter by author heiderich opened on Dec 20, 2018
  2

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

  OpenMath/OpenMath.github.io#62 · Filter by author heiderich opened on Dec 20, 2018
  1

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

  OpenMath/OpenMath.github.io#50 · Filter by author kohlhase opened on Oct 3, 2017
  2

• Write a new OM/MathML alignment document

  OpenMath/OpenMath.github.io#49 · Filter by author kohlhase opened on Oct 3, 2017

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

  enhancementquestion
  OpenMath/OpenMath.github.io#47 · Filter by author kohlhase opened on Oct 1, 2017
  4

  

• Narrower sidebar

  OpenMath/OpenMath.github.io#42 · Filter by author lars-hellstrom opened on Sep 7, 2017
  2

• Rewrite of "Technical overview" in progress

  OpenMath/OpenMath.github.io#41 · Filter by author lars-hellstrom opened on Aug 23, 2017
  5

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

  OpenMath/OpenMath.github.io#31 · Filter by author kohlhase opened on Jul 22, 2017
  1

• describe STS better

  enhancement
  OpenMath/OpenMath.github.io#23 · Filter by author kohlhase opened on Jun 2, 2017 · First round of fixes
  

• Separate mailing lists and website hosting

  OpenMath/OpenMath.github.io#20 · Filter by author tkw1536 opened on Sep 27, 2016
  4

  

• rework the OM software page

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

  

• openmath bibliography ends in 2000

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