issues
search
xavierleroy
/
coq2html
An HTML documentation generator for Coq source files
GNU General Public License v2.0
30
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
bugfix: end of detail tag for proofs
#9
yoshihiro503
closed
3 months ago
0
Inclusion in the Coq Platform
#8
MSoegtropIMC
opened
3 years ago
3
Missing indent before Proof
#7
Vertmo
closed
3 years ago
0
Add support for the Variant coq keyword
#6
ddemange
closed
4 years ago
2
Fix broken link
#5
brnbrnrd
closed
4 years ago
0
Makefile: fix missing dependency coq2html.cmx: resources.cmx
#4
SkySkimmer
closed
5 years ago
0
Close link element in footer
#3
Firobe
closed
5 years ago
1
coq2html does not like Unicode
#2
jeromesimeon
closed
4 months ago
3
Small fix to handling of comments within proofs (BofL)
#1
jeromesimeon
closed
7 years ago
4