Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@affeldt-aist
affeldt-aist committed Oct 2, 2023
1 parent 31726ab commit 773e916
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -79,8 +79,8 @@ 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_5/index.html).
Each file is documented in its header
([coqdoc presentation for the last version](https://math-comp.github.io/analysis/htmldoc_0_6_5/index.html)).

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

0 comments on commit 773e916

Please sign in to comment.