Skip to content

Coq-Elpi 1.12.0 for Coq 8.15
Compare
Choose a tag to compare
@gares gares released this 15 Dec 08:41
· 1682 commits to master since this release
v1.12.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
ee3c883

The main changes are:

  • APIs to access Coq's GOption system (Set/Unset vernaculars)
  • locker app to easily lock definitions
Assets 2
Loading