From eea5a233cc00bab02446e66f748e9f0b726b609a Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Tue, 2 Aug 2022 10:17:42 +0200 Subject: [PATCH] Update doc with latest changes --- docs/sphinx_docs/About/changes.md | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/docs/sphinx_docs/About/changes.md b/docs/sphinx_docs/About/changes.md index d1f70eae8..059c08261 100644 --- a/docs/sphinx_docs/About/changes.md +++ b/docs/sphinx_docs/About/changes.md @@ -2,6 +2,32 @@ ## dev version +## version 2.4.2, August, 02, 2022 + +* Minor release + + - Migrating to lablgtk3 + + - Update of CI + + - Compatibility with dune.3+ + + - Miscellaneous bug fixes (type unification, term purification, ...) + +## version 2.4.1, July, 27, 2021 + +* Minor release + + - Improvement of term purification + + - Implementation of a semantic term construction cache + + - Replacement of Travis-CI by GitHub actions + + - Improvement of documentation + + - Unsoundness fixes + ## version 2.4.0, January 22, 2021