Yoshihiro503@sidebar multi namespaces - Githubissues

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

Yoshihiro503@sidebar multi namespaces #28

Closed yoshihiro503 closed 6 months ago

yoshihiro503 commented 6 months ago

CHANGES

support namespaces i.e. -Q . monae -Q impredicative_set monaeImpredicativeSet
fix: darkmode of righthand comment of constructors documents
fix: itemize in main contents