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

ivanperez-keera · ivanperez-keera · commit 3233cafa323b · 2025-01-28T18:00:37.000-08:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,5 +1,6 @@
-2025-01-25
+2025-01-28
         * Fix multiple typos in README. (#560)
+        * Fix typo in documentation. (#587)
 
 2025-01-07
         * Version bump (4.2). (#577)
