search

affeldt-aist / coq2html

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

fix the problem that the file names of html looks like "Foo...Abc.v" #31

Closed yoshihiro503 closed 6 months ago

yoshihiro503 commented 6 months ago

c.f. https://coq.zulipchat.com/#narrow/dm/299508,494632,630566-group/near/426678727