Document changes in CHANGELOG. Refs #561.

ivanperez-keera · ivanperez-keera · commit 22aec9c96c9a · 2024-11-08T09:06:11.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-19
+2024-11-07
+        * Version bump (4.1). (#561)
         * Standardize changelog format. (#550)
 
 2024-09-07
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-28
+2024-11-07
+        * Version bump (4.1). (#561)
         * Add Haddocks for updateField. (#525)
         * Standardize changelog format. (#550)
         * Deprecate Copilot.Core.Type.UType.uTypeType. (#484)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-11-07
+        * Version bump (4.1). (#561)
+
 2024-09-07
         * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-19
+2024-11-07
+        * Version bump (4.1). (#561)
         * Reject duplicate externs in properties and theorems. (#536)
         * Standardize changelog format. (#550)
 
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-19
+2024-11-07
+        * Version bump (4.1). (#561)
         * Standardize changelog format. (#550)
 
 2024-09-07
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-11-07
+        * Version bump (4.1). (#561)
+
 2024-09-07
         * Version bump (4.0). (#532)
         * Add support for pretty-printing struct update expressions. (#526)
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-19
+2024-11-07
+        * Version bump (4.1). (#561)
         * Standardize changelog format. (#550)
 
 2024-09-07
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
-2024-10-22
+2024-11-07
+        * Version bump (4.1). (#561)
         * Update contribution guidelines. (#476)
         * Update README with missing publications. (#544)
         * Make the what4-propositional example's comments match results. (#535)
