Skip to content

Coq-Elpi 2.0.0.1 for Coq 8.18
Compare
Choose a tag to compare
@github-actions github-actions released this 31 Jan 21:31
· 770 commits to master since this release
v2.0.0.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
04525b2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's Changed

Minor fixes involving ltac calls and programs with a synterp phase.

Full Changelog: v2.0.0...v2.0.0.1

Assets 3
Loading