CHANGES.md



To find the state of this project's repository at the time of any of these versions, check out the tags.


Release 2025.02

Partial support for existential quantifier
Fixes various bugs


Release 2024.05

Build artifacts for both Eclipse 5.10 and 7.0.45
Recognize (X+Cst)^2 patterns
Fixes for trigonometry functions
Ln/Exp in base B


Release 2024.02

Use dune for ocaml tools
Make release job on CI


Release 2023.12

Fix build
Deploy a publicly downloadable bundle