update CHANGES

Deducteam · Nov 22, 2023 · 5898e7c · 5898e7c
1 parent 3067faf
commit 5898e7c
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,6 +3,22 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
+## 2.4.1 (2023-11-22)
+
+### Added
+
+- support for Pratter 3.0.0
+- printing of unification and coercion rules
+
+### Improved
+
+- unification
+
+### Fixed
+
+- Coq export
+- matita.sh script
+
 ## 2.4.0 (2023-07-28)
 
 ### Added