Monae 0.7.0

Compatible with Coq 8.17-19, MathComp >= 2.2.0, Hierarchy-Builder >= 1.5.0

Monae 0.6.0

Compatible with Coq 8.17-18, MathComp 1.16-18. Hierarchy-Builder = 1.5.0

Monae 0.5

Compatible with Coq 8.16-17, MathComp 1.16-17. Hierarchy-Builder >= 1.3.0

Monae 0.4.5

Compatible with Coq 8.14-16, MathComp 1.13-16. Hierarchy-Builder 1.3.0

Monae 0.4.4

Compatible with Coq 8.14-15 (not 8.16), MathComp 1.13-15. Hierarchy-Builder 1.3.0

Monae 0.4.3

Compatible with Coq 8.14-15, MathComp 1.13-15. Hierarchy-Builder 1.3.0

Monae 0.4.2

Compatible with Coq 8.14-15 and MathComp 1.13-15

Monae 0.4.1

Compatible with Coq 8.14-15, MathComp 1.13-14, Hierarchy-builder 1.2, now requires Equations

Monae 0.4

Compatible with Coq 8.13-15, MathComp 1.13-14, now requires coq-hierarchy-builder

Monae 0.3.4

This release just adds compatibility with MathComp-Analysis 0.3.9.