aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc
Commit message (Expand)AuthorAge
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Fix d'un bug avec l'option gallinaGravatar notin2009-02-04
* - Better deal with commands inside section titles in latex output usingGravatar msozeau2009-01-21
* Various little fixes:Gravatar msozeau2009-01-18
* Patch by Brian Campbell to output more information on the exception thatGravatar msozeau2009-01-15
* Minor doc fixes:Gravatar msozeau2009-01-08
* Suite de la révision #11756Gravatar notin2009-01-07
* Produce better html code with coqdoc and improve doc:Gravatar msozeau2008-12-29
* 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
* Minor fixes:Gravatar msozeau2008-11-05
* Ajout d'une option -raw pour Coqdoc (sortie en texte brut)Gravatar notin2008-10-31
* Stop using a coqdocdoc env which prevents use of environments insideGravatar msozeau2008-10-26
* Various coqdoc improvements:Gravatar msozeau2008-10-22
* ## Lines starting with '## ' will be removed from the log message.Gravatar msozeau2008-10-06
* Minor fixes related to coqdoc and --interpolate and the dependentGravatar msozeau2008-10-03
* Forgot one file.Gravatar msozeau2008-09-25
* Improvements in coqdoc:Gravatar msozeau2008-09-25
* Add types introduced by subtac in *.glob filesGravatar glondu2008-09-15
* Correction du bug #1908 (améliorations de coqdoc.css)Gravatar notin2008-09-04
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* - coqdoc: correction d'un bug sur les commentaires imbriquésGravatar notin2008-07-17
* Oubli lors de la révision #11177Gravatar notin2008-06-26
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Little fixes: print unbound variable in error message (patch by SamuelGravatar msozeau2008-06-19
* Add possibility to match on defined hypotheses, using brackets toGravatar msozeau2008-06-16
* Correction d'un problème lié à une interaction entre hyperref etGravatar notin2008-06-12
* - Correct handling of DependentMorphism error, using tclFAIL instead ofGravatar msozeau2008-06-10
* Enhancements to coqdoc, better globalization of sections and modules.Gravatar msozeau2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* 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
* Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...Gravatar notin2008-03-26
* 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
* Bug de coqdoc : les commentaires simples généraient des lignes videsGravatar notin2008-02-25
* Correction d'un bug de Coqdoc (indentation des lignes)Gravatar notin2008-02-25
* Bug de Coqdoc avec l'option -RGravatar notin2008-02-14
* Reconnaissance des tokens dans les notations (suite à la revision r10562)Gravatar notin2008-02-14
* Correction du bug #1512Gravatar notin2008-02-13
* Suppression de l'option -glob-from de Coqdoc: les globalisations sontGravatar notin2008-02-13
* Oubli dans r10524Gravatar notin2008-02-08
* Correction d'un bug de Coqdoc + ajout de Include dans les mots clés reconnus...Gravatar notin2008-02-08
* Add some keywordGravatar msozeau2008-01-30
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Correction d'un bug dans Coqdoc: les mots clés liés aux sections étaient s...Gravatar notin2007-12-17
* Ajout de mots clés pour Coqdoc (bug #1732)Gravatar notin2007-10-23
* Corrections des bugs #1730 et #1731Gravatar notin2007-10-22
* Correction (partielle) bug #1052 (coqdoc supprime les fins de ligne après un...Gravatar notin2007-08-13