aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc/output.mli
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeGravatar Hugo Herbelin2014-04-28
* Updating headers.Gravatar herbelin2012-08-08
* Coqdoc inlined verbatim_char in latexGravatar pboutill2012-08-06
* Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...Gravatar pboutill2012-08-06
* Various minor fixes to coqdoc from A. Chlipala.Gravatar msozeau2012-07-18
* Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces theGravatar msozeau2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Misc fixes.Gravatar msozeau2009-11-06
* Update coqdoc documentation, CHANGES and add a fix for the proofbox (patchGravatar msozeau2009-09-08
* Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,Gravatar msozeau2009-09-04
* coqdoc fixes and support for parsing regular comments (request byGravatar msozeau2009-03-22
* Improvements in coqdoc:Gravatar msozeau2008-09-25
* - correction d'un bug dans coqdoc (multi_index)Gravatar notin2006-03-28
* r8620@thot: notin | 2006-03-08 11:44:16 +0100Gravatar notin2006-03-08
* Nouvelle en-têteGravatar herbelin2004-07-16
* 1. In -html mode the generated files are well-formed XML filesGravatar sacerdot2004-04-06
* Ajout option raw-comments pour supprimer affichage de <table>Gravatar herbelin2004-03-26
* coqdocGravatar filliatr2004-02-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 00:57:54 +0000