search

affeldt-aist / coq2html

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

table of contents #15

Open affeldt-aist opened 8 months ago

affeldt-aist commented 8 months ago

the table of content generated from the first title of each file, following the order of the _CoqProject (coqdoc feature not in coq2html) @proux01