Skip to content

Coq-Elpi 2.1.1 for Coq 8.19
Compare
Choose a tag to compare
@github-actions github-actions released this 15 May 09:04
· 733 commits to master since this release
v2.1.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
bf5584b

What's Changed

  • Fix coq-elpi#618: pick correct initial synterp state in interp phase. by @Janno in #620

Full Changelog: v2.1.0...v2.1.1

Contributors

Janno
Assets 3
Loading