copilot-theorem: Document changes in CHANGELOG. Refs #697.

tkann-galois · RyanGlScott · RyanGlScott · commit 66002c323349 · 2026-03-31T10:38:54.000-04:00
Co-authored-by: Ryan Scott &lt;rscott@galois.com&gt;
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-31
+        * Correctly display special Float values in counterexamples. (#697)
+
 2026-03-07
         * Version bump (4.7). (#714)
 
