Hierarchy Builder 1.4.0

Compatible with Coq 8.15 and Coq 8.16.
New features were added, see the Changelog.

Hierarchy Builder 1.3.0

Compatible with Coq 8.15 and Coq 8.16.
New features were added, see the Changelog.

Hierarchy Builder 1.2.1

Minor release adding compatibility with Coq 8.15

Hierarchy Builder 1.2.0

This release works with Coq 8.13 and 8.14 and brings improvements in proof mode.

Hierarchy Builder 1.1.0

Requires Coq 8.11 or 8.12 or 8.13.
This is a major release adding many new features and bugfixes.
See Changelog.md.

Hierarchy Builder 1.0.0

Requires Coq 8.11 or 8.12 or 8.13.

Support for structure parameters and coercions in mixin/factory statements.

See Changelog.

Hierarchy Builder 0.10.0

Rudimentary and experimental support for parameters.
See Changelog.

Hierarchy Builder 0.9.1

Minor release.
Changelog available here.

Hierarchy Builder 0.9.0

First public release