aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc
AgeCommit message (Expand)Author
2009-03-26Protect typeset arguments in titles in LaTeX output (fixes compilationmsozeau
2009-03-24Fix coqdoc bugs reported by Ian Lynagh.msozeau
2009-03-24pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)letouzey
2009-03-22More elaborate handling of newlines in Gallina mode. Support inlinemsozeau
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-02-04Fix d'un bug avec l'option gallinanotin
2009-01-21- Better deal with commands inside section titles in latex output usingmsozeau
2009-01-18Various little fixes:msozeau
2009-01-15Patch by Brian Campbell to output more information on the exception thatmsozeau
2009-01-08Minor doc fixes:msozeau
2009-01-07Suite de la révision #11756notin
2008-12-29Produce better html code with coqdoc and improve doc:msozeau
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-11-05Minor fixes:msozeau
2008-10-31Ajout d'une option -raw pour Coqdoc (sortie en texte brut)notin
2008-10-26Stop using a coqdocdoc env which prevents use of environments insidemsozeau
2008-10-22Various coqdoc improvements:msozeau
2008-10-06## Lines starting with '## ' will be removed from the log message.msozeau
2008-10-03Minor fixes related to coqdoc and --interpolate and the dependentmsozeau
2008-09-25Forgot one file.msozeau
2008-09-25Improvements in coqdoc:msozeau
2008-09-15Add types introduced by subtac in *.glob filesglondu
2008-09-04Correction du bug #1908 (améliorations de coqdoc.css)notin
2008-07-18Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...notin
2008-07-17- coqdoc: correction d'un bug sur les commentaires imbriquésnotin
2008-06-26Oubli lors de la révision #11177notin
2008-06-25Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...notin
2008-06-19Little fixes: print unbound variable in error message (patch by Samuelmsozeau
2008-06-16Add possibility to match on defined hypotheses, using brackets tomsozeau
2008-06-12Correction d'un problème lié à une interaction entre hyperref etnotin
2008-06-10- Correct handling of DependentMorphism error, using tclFAIL instead ofmsozeau
2008-06-06Enhancements to coqdoc, better globalization of sections and modules.msozeau
2008-06-03Fix setoid_rewrite documentation examples.msozeau
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-03-26Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...notin
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-25Bug de coqdoc : les commentaires simples généraient des lignes videsnotin
2008-02-25Correction d'un bug de Coqdoc (indentation des lignes)notin
2008-02-14Bug de Coqdoc avec l'option -Rnotin
2008-02-14Reconnaissance des tokens dans les notations (suite à la revision r10562)notin
2008-02-13Correction du bug #1512notin
2008-02-13Suppression de l'option -glob-from de Coqdoc: les globalisations sontnotin
2008-02-08Oubli dans r10524notin
2008-02-08Correction d'un bug de Coqdoc + ajout de Include dans les mots clés reconnus...notin
2008-01-30Add some keywordmsozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-21 19:11:30 +0000