Skip to content

1.19.6
Compare
Choose a tag to compare
@gares gares released this 20 Aug 09:02
· 154 commits to master since this release
v1.19.6
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
ed6e9c7

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

  • Runtime:
    • Fix bug in unification code for "automatic intro" (as in the intro tactic)
      of UVar arguments
Assets 3
Loading