Skip to content

Commit

Permalink
Add changelog entry for coq#18095.
Browse files Browse the repository at this point in the history
  • Loading branch information
Rodolphe Lepigre committed Oct 13, 2023
1 parent efdcd33 commit 2176920
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions doc/changelog/06-Ltac2-language/18095-br-ltac2-extensions.rst
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
- **Added:**
new Ltac2 standard library modules `Ltac2.Ref`, `Ltac2.Lazy` and `Ltac2.RedFlags`
- **Added:**
new Ltac2 standard library functions to `Ltac2.Control`, `Ltac2.Array`, and
`Ltac2.List`
(`#18095 <https://github.com/coq/coq/pull/18095>`_,
fixes `#10112 <https://github.com/coq/coq/issues/10112>`_,
by Rodolphe Lepigre).

0 comments on commit 2176920

Please sign in to comment.