v2.1.4
·
280 commits
to main
since this release
What's Changed
- Adapt to coq/coq#18973. by @rlepigre in #778
- adapt to coq/coq#19147 by @gares in #793
- Use set timeout to fix goal scrolling. by @rtetley in #798
- Fix pp display by @rtetley in #804
- fixup #775 by @gares in #781
- Fix errors when recovering from interp-error by @rtetley in #801
- Quickfix are in coq 8.21 by @FissoreD in #806
- Readme updates for default proof mode Manual and typos by @Durbatuluk1701 in #808
New Contributors
- @rlepigre made their first contribution in #778
- @FissoreD made their first contribution in #806
- @Durbatuluk1701 made their first contribution in #808
Full Changelog: v2.1.3...v2.1.4
Contributors
gares, rlepigre, and 3 other contributors