From a7d81e9312ddf32d2dc1e9a01ec9a43e1827b2da Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 4 Feb 2025 13:36:14 -0500
Subject: [PATCH] copilot-language: Document changes in CHANGELOG. Refs #254.

---
 copilot-language/CHANGELOG | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
index f4668a9e..f41b2861 100644
--- 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)