Skip to content

Commit

Permalink
close changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Aug 20, 2024
1 parent 4de23df commit ed6e9c7
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions CHANGES.md
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,11 @@
# v1.19.6 (August 2024)

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

# v1.19.5 (July 2024)

Requires Menhir 20211230 and OCaml 4.08 or above.
Expand Down

0 comments on commit ed6e9c7

Please sign in to comment.