index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coqdoc
/
coqdoc.css
Age
Commit message (
Expand
)
Author
2020-04-20
Adding highlighting of the target of a internal link in coqdoc CSS.
Hugo Herbelin
2020-04-15
Coqdoc: Exporting location and unique id for binding variables.
Hugo Herbelin
2014-12-09
coqdoc.css: fix a few errors
Pierre Letouzey
2014-12-09
coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...
Pierre Letouzey
2010-09-28
Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the
msozeau
2009-09-04
Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,
msozeau
2009-09-03
Add --plain-comments patch by F. Garillot, which also adds
msozeau
2009-03-22
coqdoc fixes and support for parsing regular comments (request by
msozeau
2009-01-08
Minor doc fixes:
msozeau
2008-12-29
Produce better html code with coqdoc and improve doc:
msozeau
2008-09-25
Improvements in coqdoc:
msozeau
2008-09-04
Correction du bug #1908 (améliorations de coqdoc.css)
notin
2006-05-24
Adaptation de Coqdoc au nouveau add_glob
notin
2006-01-05
*** empty log message ***
coq
