Document changes in CHANGELOG. Refs #438.

ivanperez-keera · ivanperez-keera · commit daf54a78794b · 2023-05-07T23:21:50.000-07:00
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2023-04-19
+2023-05-07
+        * Version bump (3.15). (#438)
         * Remove Copilot.Core.Type.Equality. (#427)
         * Remove Copilot.Core.PrettyPrint. (#426)
 
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2023-04-17
+2023-05-07
+        * Version bump (3.15). (#438)
         * Remove outdated comment about pretty-printer. (#428)
 
 2023-03-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
         * Adjust contraints on version of what4. (#423)
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2023-05-07
+        * Version bump (3.15). (#438)
+
 2023-03-07
         * Version bump (3.14). (#422)
         * Replace import of Copilot.Language.prettyPrint. (#412)
