Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqdoc.css: fix a few errors | 2014-12-09 | |
* | coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro... | 2014-12-09 | |
* | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | 2010-09-28 | |
* | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | 2009-09-04 | |
* | Add --plain-comments patch by F. Garillot, which also adds | 2009-09-03 | |
* | coqdoc fixes and support for parsing regular comments (request by | 2009-03-22 | |
* | Minor doc fixes: | 2009-01-08 | |
* | Produce better html code with coqdoc and improve doc: | 2008-12-29 | |
* | Improvements in coqdoc: | 2008-09-25 | |
* | Correction du bug #1908 (améliorations de coqdoc.css) | 2008-09-04 | |
* | Adaptation de Coqdoc au nouveau add_glob | 2006-05-24 | |
* | *** empty log message *** | 2006-01-05 |