Infotheo 0.9.6

Compatible with Coq 8.20--9.1, MathComp >=. 2.4.0, MathComp-Analysis >= 1.12.0, Hierarchy-Builder >= 1.9.1.

Infotheo 0.9.5

Compatible with Coq 8.20--9.1, MathComp 2.4.0, MathComp-Analysis >= 1.12.0, Hierarchy-Builder >= 1.9.1.

Infotheo 0.9.4

Compatible with Coq 8.19--8.20, MathComp 2.3.0--2.4.0, MathComp-Analysis >= 1.12.0, Hierarchy-Builder >= 1.9.1.

Infotheo 0.9.3

Compatible with Coq 8.19--8.20, MathComp 2.3.0--2.4.0, MathComp-Analysis >= 1.10.0, Hierarchy-Builder >= 1.7.0.

Infotheo 0.9.2

Compatible with Coq 8.19--8.20, MathComp = 2.3.0, MathComp-Analysis >= 1.10.0, Hierarchy-Builder >= 1.7.0.

Infotheo 0.9.1

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.9.0, Hierarchy-Builder >= 1.5.0.

Infotheo 0.9.0

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.7.0, Hierarchy-Builder >= 1.5.0.
This release is relying on the Coq standard library only through an isolated use of the interval tactic.

Infotheo 0.7.7

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.7.0, Hierarchy-Builder >= 1.5.0

Infotheo 0.7.6

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.7.0, 1.5.0 <= Hierarchy-Builder < 1.8.0

Infotheo 0.7.5

Compatible with Coq 8.19--8.20, MathComp >= 2.2.0, MathComp-Analysis >= 1.7.0, Hierarchy-Builder >= 1.5.0