0.88 (2026-26-22)
- Switched to gitlab.laas.fr (code back home)
- Added a function cardinal2s (converts cardinal of enumeration to string)
0.86 (2018-08-10)
- Switched from jbuilder to dune
- Switched to odoc.
0.84 (2017-11-12)
- Don't use the legacy Num library (Big_int) any longer. Switched to Zarith.
0.82 (2017-07-05)
- Moving to github
- Switched from ocamlbuild to jbuilder
0.6 (2013-10-21)
0.6 (2013-10-11)