·
65 commits
to master
since this release
What's Changed
- Adapt to coq/coq#19216 by @proux01 in #665
- Adapt to coq/coq#19361 (Lib.*.close_section is incomplete, use Declaremods instead) by @SkySkimmer in #666
- [add-const] do not recompute the uctx for the evar map by @gares in #651
- Fix typos and broken links in tutorials by @wdeweijer in #669
- Adapt to coq/coq#19310 by @proux01 in #662
- Display elpi commands/tactics in the outline by @gares in #667
- Do not escape quotes in verbatim LPDoc documentation. by @ppedrot in #671
- Directly set universes in the global wrapper. by @ppedrot in #672
- dev setup by @gares in #674
- release by @gares in #675
New Contributors
- @wdeweijer made their first contribution in #669
Full Changelog: v2.2.2...v2.2.3
Contributors
gares, ppedrot, and 3 other contributors