close changelog

LPCIC · Mar 17, 2021 · c513e23 · c513e23
1 parent d7b07a9
commit c513e23
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,13 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.4] - 17-03-2021
+
+Requires Elpi 1.13 and Coq 8.13.
+
+### Elpi
+- Calls to APIs that only read the global state are much faster (thousands of
+  times faster)
+- Fix compilation with OCaml 4.12
 
 ### API
 - Fix issue with `coq.env.add-abbreviation` when given a term with binders
@@ -10,6 +17,8 @@
 
 ## [1.9.3] - 18-02-2021
 
+Requires Elpi 1.13 and Coq 8.13.
+
 ### Elpi
 - Fix issue with async-mode (Elpi commands can change the parser)