issues
search
affeldt-aist
/
coq2html
An HTML documentation generator for Coq source files
GNU General Public License v2.0
1
stars
3
forks
source link
Sidebar
#26
Closed
yoshihiro503
closed
6 months ago
yoshihiro503
commented
7 months ago
Introduce sidebar
TODO
[x] Why doesn't the dark mode work?
[x] I don't want both circles and triangles appearing in directory entries.
[x] Vertical scrolling in the sidebar does not go all the way down.
[x] refactor:
coq2html.mll
and
generate_index.ml
have common processes using html templates.
Introduce sidebar
TODO
coq2html.mllandgenerate_index.mlhave common processes using html templates.