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

…e#254.
GaloisInc · Feb 26, 2025 · a7d81e9 · a7d81e9
1 parent 34569f9
commit a7d81e9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,5 +1,6 @@
-2025-01-28
+2025-02-26
         * Fix typo in documentation. (#587)
+        * Record how a Property's underlying proposition is quantified. (#254)
 
 2025-01-07
         * Version bump (4.2). (#577)