Hello,
alt-ergo 2.2.0 was released under OCamlPro licence on Apr 21, 2018, and 2.3.0
on Feb 18, 2019. What are the plans for free releases of these versions
(or at least of 2.3.0)? It was my understanding that free releases would be
published 1 year after the OCamlPro-licenced releases.
Besides,
Dear Alt-Ergo users,
We are happy to inform you that the second annual meeting of the
Alt-Ergo Users’ Club was held in mid-February. Our annual meeting is the
perfect place to review each partner’s needs regarding Alt-Ergo. This
year, we had the pleasure of receiving them to discuss the
roadmap f