copilot-language: Document changes in CHANGELOG. Refs Copilot-Languag…

…e#254.
GaloisInc · Feb 4, 2025 · 394dfd2 · 394dfd2
1 parent 7659a43
commit 394dfd2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,5 +1,7 @@
-2025-01-28
+2025-02-04
         * Fix typo in documentation. (#587)
+        * Change the `Stream Bool` field of `Property` to `Prop a` so as to
+          encode how the underlying proposition is quantified. (#254)
 
 2025-01-07
         * Version bump (4.2). (#577)