Skip to content

Commit

Permalink
Update CHANGES.
Browse files Browse the repository at this point in the history
  • Loading branch information
Anteru committed May 4, 2024
1 parent 338d366 commit ea9c823
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions CHANGES
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ Version 2.18.0
* Coq: add keywords, lex more vernacular command arguments, produce
fewer tokens on heading comments (#2678)
* DNS zone files: Fix comment parsing (#2595)
* Hy: Support unicode literals (#1126)
* Inform6: Update to Inform 6.42 (#2644)
* lean: Fix name handling (#2614)
* Logtalk: add ``uninstantiation`` keyword and recognize
Expand Down

0 comments on commit ea9c823

Please sign in to comment.