Coq-Elpi 2.0.2 for Coq 8.19
·
676 commits
to master
since this release
What's Changed
- fix: HOAS impargs of record by @gares in #569
- avoid declaring options twice by @gares in #570
- fix detype by @gares in #573
- change error msg when section var are cleared by @FissoreD in #580
- CS app by @Tragicus in #577
- Don't Require PrimInt63 and PrimFloat by default by @proux01 in #579
- fix sigma pruning when calling ltac, reachability is not correct by @gares in #581
- Fix synter impargs by @gares in #583
- Update cs hook by @Tragicus in #593
Full Changelog: v2.0.1...v2.0.2
Contributors
gares, proux01, and 2 other contributors