Skip to content

Commit

Permalink
Minor update in Changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@xavierleroy
xavierleroy committed Dec 10, 2024
1 parent 9597352 commit 9095417
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Changelog.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,9 +30,9 @@ Supporting libraries:

Coq development:
- Support Coq 8.20.
- Install `.glob` and `.v` files along `.vo` files.
- Build: support TIMING and PROFILING like `coq_makefile`. (#512)
- Make dependency on `Extraction` explicit. (#515)
- Install `.glob` and `.v` files along `.vo` files. (#527)


# Release 3.14, 2024-05-02
Expand Down

0 comments on commit 9095417

Please sign in to comment.