link from comments - Githubissues

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

Open affeldt-aist opened 8 months ago

affeldt-aist commented 8 months ago

the ability to easily link to constants in the comments (by just surrounding them with [ and ] (coqdoc feature not in coq2html) @proux01