Document changes in CHANGELOG. Refs #577.

ivanperez-keera · ivanperez-keera · commit e2f3f03b409a · 2025-01-07T19:40:32.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-02
+2025-01-07
+        * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
         * Allow using same trigger name in multiple declarations. (#296)
         * Bump upper version constraint on filepath. (#570)
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-06
+2025-01-07
+        * Version bump (4.2). (#577)
         * Deprecate fields of Copilot.Core.Expr.UExpr. (#565)
         * Increase test coverage. (#555)
         * Define generic implementations of Struct and Typed methods. (#564)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-01-07
+        * Version bump (4.2). (#577)
+
 2024-11-07
         * Version bump (4.1). (#561)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-02
+2025-01-07
+        * Version bump (4.2). (#577)
         * Bump upper version constraint on containers. (#570)
 
 2024-11-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-02
+2025-01-07
+        * Version bump (4.2). (#577)
         * Bump upper version constraint on containers. (#570)
 
 2024-11-07
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,4 +1,5 @@
-2024-11-15
+2025-01-07
+        * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)
 
 2024-11-07
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-02
+2025-01-07
+        * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)
         * Bump upper constraint on containers, data-default. (#570)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
-2025-01-06
+2025-01-07
+        * Version bump (4.2). (#577)
         * Bump upper version constraint on filepath. (#570)
         * Update struct examples to use generic method implementations. (#564)
 
