Skip to content

Releases: aljoshakoecher/openmath-rdf-parser

v3.0.1

26 Jul 12:42
Compare
Choose a tag to compare
  • fixes a minor issue that lead to all applications being retrieved as root application when using the allFromOpenMath() function

v3.0.0

26 Jul 12:41
Compare
Choose a tag to compare
  • fixes a problem with more deeply nested formulas on both sides of a root application
  • adds spaces between operators

Note that there is no change in the function interfaces, but the resulting strings have now spaces where there weren't any before.

v2.0.1

17 Jul 12:11
Compare
Choose a tag to compare
  • 🐛 : fixes bug that was caused by additional types set to OpenMath individuals
  • 📝 : updates documentation to cover new functions

v2.0.0

15 Jul 12:00
b46a45e
Compare
Choose a tag to compare
  • adds functions to get all open math applications in an RDF dataset
  • returns more detailed info about context in which the application was used

v1.0.0

15 Jul 11:43
Compare
Choose a tag to compare
  • handles IRIs in formula strings
  • allows resolving of prefixes

v0.0.1

28 May 14:41
Compare
Choose a tag to compare

Initial release with a first version of the basic parsing functionality