changelog

math-comp · Jun 5, 2024 · 2c94298 · 2c94298
1 parent 44791e0
commit 2c94298
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -2,6 +2,13 @@
 
 ## Unreleased
 
+### General
+
+- **Change** For a structure S on a subject of type T, declares sort as an
+	Elpi coercion from S to T and an Epli coercion from T to S whenever T
+	has no gref.
+- **Change** Declares axioms_ as a typeclass
+
 ## [1.7.0] - 2024-01-10
 
 Compatible with