changelog 0.3.6

coq · Jan 3, 2022 · e6fc2c0 · e6fc2c0
1 parent b92ed8c
commit e6fc2c0
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,11 @@
+## 0.3.6
+* compatibility with Coq 8.15 (#264, by @quarkcool and @fakusb)
+* bumped and cleaned up dependencies (#234, #263, #264 and #265 by @dependabot and @fakusb)
+* fixed colorization of keywords in identifiers (#251, by @julesjacobs)
+* give more informative goal message on shelved/admitted goals (#184, by @fakusb)
+* fixed typos (#258 and #259, by @jacklee1792 and @j3parker)
+* better documentation for coqtop.args option (#224, by @fakusb)
+
 ## 0.3.5
 * compatibility with vscode 1.57.0 (#238, by @swils)
 * fixed compatibility with snap (#223, by @gares and @fakusb)