Rocqnavi 0.2.1, 2025-04-25
- Fixed a small bug

Rocqnavi 0.2.0, 2025-04-25
- Rename the binary to `rocqnavi`
- Introduce testings

Rocqnavi 0.1.0, 2025-04-11
- The first release of Rocqnavi
- Makrkdown mode with LaTeX notation in comments
- Generate indexes like `coqdoc`
- Darkmode supportted
- Sidebar for easier access

coq2html 1.4, 2024-07-16
- Recognize single quotes in identifiers.
- Preliminary support for Unicode characters in identifiers (#2).
- Recognize character strings "..." and display them specially.
- Default style: use darker shade of blue for links.
- Default style: highlight the target of `URL#fragment` links.

coq2html 1.3, 2021-10-04
- Preserve indentation of "Proof." (#7).
- Updated list of keywords for coloring.
- Updated various URLs (#5 and more).

coq2html 1.2, 2019-08-22  [for Coq 8.9, 8.8, 8.7, 8.6]
- Fix unclosed element in page footer (#3).
- Fix missing dependency in Makefile (#4).

coq2html 1.1, 2018-07-10  [for Coq 8.8, 8.7, 8.6]
- Fix handling of comments at beginning of line in proof scripts (#1).

coq2html 1.0, 2017-07-15  [for Coq 8.6]
- Reused from the CompCert distribution, revised, and extended.
- First standalone release.
