MetaCoq 1.3.3 for Coq 8.19

yforster released this 27 Jan 12:09

· 20 commits to coq-8.19 since this release

a9f5da7

Bugfix release.

What's Changed

Point 'index' in CoqDocJS header to index.html by @SwampertX in #1094
Correct noccur for Template by @MevenBertrand in #1086
Fix substitution during eta expansion of partial application by @4ever2 in #1117

New Contributors

@SwampertX made their first contribution in #1094

Full Changelog: v1.3.2-8.19...v1.3.3-8.19

Contributors

4ever2, SwampertX, and MevenBertrand

Assets 3