feat: use `(**md` instead of `(***md` wish - Githubissues

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

feat: use `(md` instead of `(*md` wish #19

Closed yoshihiro503 closed 8 months ago

yoshihiro503 commented 8 months ago

issue: https://github.com/affeldt-aist/coq2html/issues/18