Skip to content

Commit

Permalink
fix doc link
Browse files Browse the repository at this point in the history
  • Loading branch information
@affeldt-aist
affeldt-aist committed Jan 19, 2024
1 parent 318d11c commit ce673bd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ own risk.
## Documentation

Each file is documented in its header
([coqdoc presentation for the last version](https://math-comp.github.io/analysis/htmldoc_0_6_7/index.html)).
([coqdoc presentation for the last version](https://math-comp.github.io/analysis/htmldoc_0_7_7/index.html)).

Changes are documented in [CHANGELOG.md](CHANGELOG.md) and
[CHANGELOG_UNRELEASED.md](CHANGELOG_UNRELEASED.md).
Expand Down

0 comments on commit ce673bd

Please sign in to comment.