Skip to content

coq2html 1.4

Latest
Compare
Choose a tag to compare
@xavierleroy xavierleroy released this 15 Jul 13:51
· 4 commits to master since this release
  • 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.