coq2html 1.4 - Githubissues

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

https://coq.inria.fr/opam/www/

GNU Lesser General Public License v2.1

123 stars 162 forks source link

Closed xavierleroy closed 3 months ago

xavierleroy commented 3 months ago

Recognize single quotes in identifiers.
Preliminary support for Unicode characters in identifiers (https://github.com/xavierleroy/coq2html/issues/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.