aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc/cdglobals.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Using the same strategy in coqdoc than in coqtop to guess the coqlib.Gravatar Hugo Herbelin2017-05-29
* Exporting the suffixes needed to build coqlib, docdir, etc.Gravatar Hugo Herbelin2017-05-29
* Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Coqdoc: also try coqlib relative to the coqdoc binary locationGravatar letouzey2011-04-20
* Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces theGravatar msozeau2010-09-28
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,Gravatar msozeau2009-09-04
* Add --plain-comments patch by F. Garillot, which also addsGravatar msozeau2009-09-03
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* coqdoc fixes and support for parsing regular comments (request byGravatar msozeau2009-03-22
* Ajout d'une option -raw pour Coqdoc (sortie en texte brut)Gravatar notin2008-10-31
* Forgot one file.Gravatar msozeau2008-09-25
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Ajout d'options a coqdoc pour l'entete htmlGravatar notin2008-04-08
* Correction des bugs #1455 et #1456Gravatar notin2007-03-22
* Remove debugging code committed by accidentGravatar lmamane2007-03-22
* A tentative fix for bug #1455Gravatar lmamane2007-03-22
* Support des modules dans CoqdocGravatar notin2006-05-26
* Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...Gravatar notin2006-05-02
* r8620@thot: notin | 2006-03-08 11:44:16 +0100Gravatar notin2006-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 11:48:58 +0000