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

ivanperez-keera · ivanperez-keera · commit 2d7a06e3a16c · 2025-01-26T04:48:15.000-08:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2025-01-25
+        * Fix multiple typos in README. (#560)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)
