changelog

LPCIC · Jun 28, 2024 · b603f7d · b603f7d
1 parent bb5869f
commit b603f7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -19,6 +19,7 @@ Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
 - New `coq.*.set.min`, `coq.*.set.max`, `coq.*.set.choose`, `coq.*.set.fold`,
   `coq.*.set.partition`
 - New `coq.*.map.fold`
+- New `coq.env.projection?` and `coq-env.primitive-projection?`
 
 ### HOAS
 - New `primitive (pstring S)` in Coq 8.20