close changelog

LPCIC · Mar 26, 2021 · a50adb4 · a50adb4
1 parent 3e7b7c6
commit a50adb4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,7 +1,8 @@
 # Changelog
 
-## UNRELEASED
+## [1.9.5] - 26-03-2021
 
+Requires Elpi 1.13 and Coq 8.13.
 
 ### Vernacular
 - Commands, Tactics and Db cannot be declared inside sections or modules