Document changes in CHANGELOG. Refs Copilot-Language#289.

ivanperez-keera · Nov 7, 2022 · fac9e9b · fac9e9b
1 parent 975aefa
commit fac9e9b
Show file tree

Hide file tree

Showing 8 changed files with 18 additions and 6 deletions.
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-31
+2022-11-07
+        * Version bump (3.12). (#389)
         * Removed deprecated flag from cabal file. (#380)
         * Generate type declarations in separate header file. (#373)
 

diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2022-11-03
+2022-11-07
+        * Version bump (3.12). (#389)
         * Deprecate Copilot.Core.PrettyPrinter. (#383)
         * Replace uses of Copilot.Core.Type.Equality with definitions from
           base:Data.Type.Equality; deprecate Copilot.Core.Type.Equality. (#379)

diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Use pretty-printer from copilot-prettyprinter. (#383)
 
 2022-09-07

diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Use pretty-printer from copilot-prettyprinter. (#383)
 
 2022-09-07

diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2022-11-07
+        * Version bump (3.12). (#389)
+
 2022-09-07
         * Version bump (3.11). (#376)
 

diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,2 +1,3 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Create new library for pretty-printer. (#383)
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2022-11-02
+2022-11-07
+        * Version bump (3.12). (#389)
         * Add functionality for bisimulation proofs of Copilot specifications. (#363)
         * Use pretty-printer from copilot-prettyprinter. (#383)
         * Replace uses of Copilot.Core.Type.Equality with definitions from

diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2022-11-07
+        * Version bump (3.12). (#389)
+
 2022-09-07
         * Version bump (3.11). (#376)