Update Changelog.md

Co-authored-by: Enrico Tassi <[email protected]>

Author: CohenCyril

Changelog.md

@@ -2,9 +2,17 @@
 
 ## UNRELEASED
 
-- **Fix** HB.pack works with structures about functions, and not just
-  types 
-- **New** Command HB.howto to find all possible ways to instanciate structures.
+## [1.4.0] - 2022-09-28
+
+Compatible with
+- Coq 8.15 with Coq-Elpi 1.14.x
+- Coq 8.16 with Coq-Elpi 1.15.x and 1.16.x
+- 
+- **Fix** `HB.pack` works with structures about functions, and not just types.
+- **Fix** `HB.about` and `HB.graph` now display shortest names.
+- **New** Command `HB.howto` to find all possible ways to instanciate structures.
+- **New** Structures now support keys which type's head is a global reference.
+  (Only keys corresponding to the coercion classes `Sortclass` and `Funclass` were accepted).
 
 ## [1.3.0] - 2022-07-27