search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

HTML title #6

Closed affeldt-aist closed 7 months ago

affeldt-aist commented 8 months ago

"very minor: HTML title of that page: "Module $NAME"" @proux01