Document changes in CHANGELOG. Refs #448.

ivanperez-keera · ivanperez-keera · commit 8add77a3e0b7 · 2023-07-07T21:33:02.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2023-07-04
+2023-07-07
+        * Version bump (3.16). (#448)
         * Introduce testing infrastructure. (#413)
 
 2023-05-07
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
         * Remove Copilot.Core.Type.Equality. (#427)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
 2023-07-07
+        * Version bump (3.16). (#448)
         * Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)
 
 2023-05-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2023-07-07
+        * Version bump (3.16). (#448)
+
 2023-05-07
         * Version bump (3.15). (#438)
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`2023-07-07`
	`2`	`+ * Version bump (3.16). (#448)`
`2`	`3`	`* Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)`
`3`	`4`
`4`	`5`	`2023-05-07`