aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc
AgeCommit message (Expand)Author
2009-12-01Fix make_exact_entry to allow applying [forall x, P x] hints directly,msozeau
2009-11-12Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...notin
2009-11-10Correction du bug #2183notin
2009-11-06Misc fixes.msozeau
2009-11-03Removed debugging stuff mistakenly introduced in r12426.herbelin
2009-10-30Removed 'dest' from keyword highlighting.gmelquio
2009-10-28Integrate a few improvements on typeclasses and Program from the equations br...msozeau
2009-10-27Added option --external to coqdoc to bind an url to an external library.herbelin
2009-10-13Better handling of emphasis.msozeau
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-15- Tentatively made order-dependency wrt .vo files a full dependencyherbelin
2009-09-10Fixes for toc depth handling and handling of substitles from Chris Casinghino.msozeau
2009-09-08Update coqdoc documentation, CHANGES and add a fix for the proofbox (patchmsozeau
2009-09-08Fix the bug-ridden code used to choose leibniz or generalizedmsozeau
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-07-09Allow coqdoc comments inside definition bodies.msozeau
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-04-08Take formatted into account in rules for dot.msozeau
2009-04-08Change HTML paragraph output to avoid too much space after bulletedmsozeau
2009-04-06Fix behavior on newlines with parse-comments and also do [] escaping as msozeau
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:25:24 +0000