aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc/index.mli
Commit message (Expand)AuthorAge
* coqdoc Index.find_string: remove unused argument.Gravatar Gaëtan Gilbert2018-07-03
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Removed dead code about linking Module names in coqdoc.Gravatar herbelin2012-10-16
* Updating headers.Gravatar herbelin2012-08-08
* Added checksums to glob files and warned about possibly missingGravatar herbelin2011-10-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Added option --external to coqdoc to bind an url to an external library.Gravatar herbelin2009-10-27
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Improvements in coqdoc:Gravatar msozeau2008-09-25
* Enhancements to coqdoc, better globalization of sections and modules.Gravatar msozeau2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* Improvements on coqdoc by adding more information into .globGravatar msozeau2008-05-30
* r8620@thot: notin | 2006-03-08 11:44:16 +0100Gravatar notin2006-03-08
* Nouvelle en-têteGravatar herbelin2004-07-16
* coqdocGravatar filliatr2004-02-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 14:00:07 +0000