copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language…

…#560.
ivanperez-keera · Jan 25, 2025 · b8e4441 · b8e4441
1 parent b22a9ee
commit b8e4441
Showing 1 changed file with 3 additions and 0 deletions.
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)