aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/main.ml
AgeCommit message (Expand)Author
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-07-03coqdoc is minimaly -Q awarePierre Boutillier
2012-08-08Updating headers.herbelin
2011-10-29Added checksums to glob files and warned about possibly missingherbelin
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-04-25Fix for handling of -R "" in coqdoc (bug #2423).herbelin
2010-09-28Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces themsozeau
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-19Remove compile-command pragmas for emacsletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-06New model for user-driven translation of tokens in coqdocherbelin
2010-03-30Fixed small bugs introduced in commit 12890 (bug #2286, that comesherbelin
2010-03-29Several bug-fixes and improvements of coqdocherbelin
2009-10-27Added option --external to coqdoc to bind an url to an external library.herbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-04Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,msozeau
2009-09-03Add --plain-comments patch by F. Garillot, which also addsmsozeau
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-03-24pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)letouzey
2009-03-22coqdoc fixes and support for parsing regular comments (request bymsozeau
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-01-15Patch by Brian Campbell to output more information on the exception thatmsozeau
2009-01-07Suite de la révision #11756notin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-11-14Amélioration du README.doc et de l'installation de la docnotin
2008-10-31Ajout d'une option -raw pour Coqdoc (sortie en texte brut)notin
2008-09-25Improvements in coqdoc:msozeau
2008-07-18Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...notin
2008-05-30Improvements on coqdoc by adding more information into .globmsozeau
2008-05-28add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...jnarboux
2008-04-08Ajout d'options a coqdoc pour l'entete htmlnotin
2008-02-27Génération d'une toc en html et avec l'option -psnotin
2008-02-27Amélioration de la gestion des chemins physiques (corrige au passage le bug ...notin
2008-02-25Correction d'un bug de Coqdoc (indentation des lignes)notin
2008-02-14Bug de Coqdoc avec l'option -Rnotin
2008-02-13Correction du bug #1512notin
2008-02-13Suppression de l'option -glob-from de Coqdoc: les globalisations sontnotin
2007-03-22Correction des bugs #1455 et #1456notin
2007-03-22A tentative fix for bug #1455lmamane
2006-05-02Option --coqlib_path pour coqdoc (suite et fin)notin
2006-05-02Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...notin
2006-04-28git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762 85f007b7-540e-04...notin
2006-04-27Ajout de la doc de l'option -stdout de coqdocnotin
2006-04-26Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...notin
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-25 r8709@thot: notin | 2006-03-25 01:48:46 +0100notin
2006-03-14 r8636@thot: notin | 2006-03-14 15:57:11 +0100notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2005-08-19pas besoin de List.length pour savoir si une liste est videletouzey
2004-07-16Nouvelle en-têteherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 11:08:32 +0000