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

carte731 · carte731 · commit c9954d663f29 · 2025-07-02T16:48:52.000-07:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-29
+        * Removed unused pragmas. (#613)
+
 2025-05-07
         * Version bump (4.4). (#618)
         * Translate quantifiers correctly in Kind2 backend. (#594)
