coq2html 1.4

• 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

• Preserve indentation of "Proof." (#7).
• Updated list of keywords for coloring.
• Updated various URLs (#5 and more).

coq2html 1.2

• Fix unclosed element in page footer (#3).
• Fix missing dependency in Makefile (#4).

coq2html 1.1

• Fix handling of comments at beginning of line in proof scripts (#1).

coq2html 1.0

This is the first public release of the standalone coq2html documentation generator for Coq.
Compatible with Coq 8.6 and perhaps with 8.5.