Releases: aljoshakoecher/openmath-rdf-parser
Releases · aljoshakoecher/openmath-rdf-parser
v3.0.1
v3.0.0
- 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
- 🐛 : fixes bug that was caused by additional types set to OpenMath individuals
- 📝 : updates documentation to cover new functions
v2.0.0
- 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
- handles IRIs in formula strings
- allows resolving of prefixes
v0.0.1
Initial release with a first version of the basic parsing functionality