Document changes in CHANGELOG. Refs #455.

Copilot-Language · Sep 8, 2023 · b84017c · b84017c
1 parent 3006a79
commit b84017c
Show file tree

Hide file tree

Showing 8 changed files with 21 additions and 1 deletion.
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
 2023-09-07
+        * Version bump (3.16.1). (#455)
         * Clean code. (#453)
 
 2023-07-07

diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 

diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 

diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
         * Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)

diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2023-08-08
+2023-09-07
+        * Version bump (3.16.1). (#455)
         * Fix semantics of since in Copilot.Library.PTLTL. (#443)
         * Prevent the majority function from generating unused local variables.
           (#408)

diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 

diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)
 

diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2023-09-07
+        * Version bump (3.16.1). (#455)
+
 2023-07-07
         * Version bump (3.16). (#448)