Document changes in CHANGELOG. Refs #504.

Copilot-Language · Mar 8, 2024 · 5880972 · 5880972
1 parent 4202e39
commit 5880972
Show file tree

Hide file tree

Showing 8 changed files with 22 additions and 0 deletions.
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
 

diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
 2024-03-07
+        * Version bump (3.19). (#504)
         * Remove deprecated functions in Copilot.Core.Type and
           Copilot.Core.Type.Array. (#500)
         * Increase test coverage. (#502)

diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
 

diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
 

diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
 

diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
 

diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
         * Adjust to work with GHC 9.6. (#491)

diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2024-03-07
+        * Version bump (3.19). (#504)
+
 2024-01-07
         * Version bump (3.18.1). (#493)
         * Update README to reflect support for GHC 9.6. (#491)