·
22 commits
to master
since this release
What's Changed
- Adapt to rocq-prover/rocq#21020. by @ppedrot in #867
- Update elpi dependency version range by @gares in #873
- fix doc by @gares in #875
- fix: missing glob info for notations by @yoshihiro503 in #874
- [CI] Fix odd-order by @proux01 in #878
- [CI] Add algebra-tactics by @proux01 in #877
- Fold with binders in collect-goals by @Tragicus in #876
- Adapt to rocq-prover/rocq#20964 (less exn driven parser) by @SkySkimmer in #879
- Fix #879 for Rocq <= 9.1 by @proux01 in #881
- Adapt to rocq-prover/rocq#21067 (no mind_ntypes field) by @SkySkimmer in #882
- (HACK) Adapt to rocq-prover/rocq#20674 (stronger synterp/interp checks) by @SkySkimmer in #880
- Replace #[global] with #[export] in derive.v by @proux01 in #866
- Adapt to rocq-prover/rocq#20816 by @proux01 in #883
- bump elpi dep by @gares in #888
New Contributors
- @yoshihiro503 made their first contribution in #874
Full Changelog: v3.1.0...v3.2.0
Contributors
yoshihiro503, gares, and 4 other contributors