From d31e3848f0abdeaf0b9408535843137ffac2855d Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Mon, 26 Sep 2022 18:06:01 +0200 Subject: [PATCH] Update Changelog.md Co-authored-by: Enrico Tassi --- Changelog.md | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/Changelog.md b/Changelog.md index 82eb42aa1..9484e2080 100644 --- a/Changelog.md +++ b/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