changelog

affeldt-aist · Apr 22, 2024 · dee2ea6 · dee2ea6
1 parent e54935f
commit dee2ea6
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/changelog.txt b/changelog.txt
@@ -1,3 +1,15 @@
+-------------------
+from 0.6.1 to 0.7.0
+-------------------
+
+Port to MathComp 2
+
+-------------------
+from 0.6.0 to 0.6.1
+-------------------
+
+compatibility release
+
 -------------------
 from 0.5.2 to 0.6.0
 -------------------