Update Changelog.md

gares · web-flow · commit 257de79140f4 · 2020-06-01T20:34:37.000+02:00
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## Unreleased
+
+- `HB.instance` can be applied directly to a definition as in
+  `HB.instance Definition foo := Bar.Build T ...`
+- port to coq-elpi version 1.4
+
 ## [0.9.0] - 2020-03-11
 
 First public release for Coq 8.10 and 8.11.
