Skip to content

Commit b4664cd

Browse files
committed
copilot-language: Document changes in CHANGELOG. Refs #254.
1 parent 3ea5f12 commit b4664cd

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

copilot-language/CHANGELOG

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
2025-01-28
1+
2025-02-28
22
* Fix typo in documentation. (#587)
3+
* Record how a Property's underlying proposition is quantified. (#254)
34

45
2025-01-07
56
* Version bump (4.2). (#577)

0 commit comments

Comments
 (0)