Hierarchy Builder 1.10.0
·
24 commits
to master
since this release
What's Changed
- Fix makefile by @proux01 in #536
- Refix Makefile by @proux01 in #537
- Drop support for 8.18 and 8.19 by @proux01 in #538
- Cleanup Makefile by @proux01 in #542
- [CI] Add Rocq 9.1 by @proux01 in #546
- port to elpi 3.0 by @gares in #527
- Release by @gares in #550
Full Changelog: v1.9.1...v1.10.0
Contributors
gares and proux01