aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc/main.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
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Gravatar Hugo Herbelin2015-09-26
* Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Gravatar Guillaume Melquiond2015-07-30
* Update headers.Gravatar Maxime Dénès2015-01-12
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* coqdoc is minimaly -Q awareGravatar Pierre Boutillier2014-07-03
* Updating headers.Gravatar herbelin2012-08-08
* Added checksums to glob files and warned about possibly missingGravatar herbelin2011-10-29
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Fix for handling of -R "" in coqdoc (bug #2423).Gravatar herbelin2011-04-25
* 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 compile-command pragmas for emacsGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Fixed small bugs introduced in commit 12890 (bug #2286, that comesGravatar herbelin2010-03-30
* 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
* 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
* pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)Gravatar letouzey2009-03-24
* coqdoc fixes and support for parsing regular comments (request byGravatar msozeau2009-03-22
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Patch by Brian Campbell to output more information on the exception thatGravatar msozeau2009-01-15
* Suite de la révision #11756Gravatar notin2009-01-07
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Amélioration du README.doc et de l'installation de la docGravatar notin2008-11-14
* Ajout d'une option -raw pour Coqdoc (sortie en texte brut)Gravatar notin2008-10-31
* Improvements in coqdoc: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
* Improvements on coqdoc by adding more information into .globGravatar msozeau2008-05-30
* add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...Gravatar jnarboux2008-05-28
* Ajout d'options a coqdoc pour l'entete htmlGravatar notin2008-04-08
* Génération d'une toc en html et avec l'option -psGravatar notin2008-02-27
* Amélioration de la gestion des chemins physiques (corrige au passage le bug ...Gravatar notin2008-02-27
* Correction d'un bug de Coqdoc (indentation des lignes)Gravatar notin2008-02-25
* Bug de Coqdoc avec l'option -RGravatar notin2008-02-14
* Correction du bug #1512Gravatar notin2008-02-13
* Suppression de l'option -glob-from de Coqdoc: les globalisations sontGravatar notin2008-02-13
* Correction des bugs #1455 et #1456Gravatar notin2007-03-22
* A tentative fix for bug #1455Gravatar lmamane2007-03-22
* Option --coqlib_path pour coqdoc (suite et fin)Gravatar notin2006-05-02
* Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...Gravatar notin2006-05-02
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762 85f007b7-540e-04...Gravatar notin2006-04-28
* Ajout de la doc de l'option -stdout de coqdocGravatar notin2006-04-27
* Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...Gravatar notin2006-04-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 12:13:58 +0000