aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
AgeCommit message (Expand)Author
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-08Minor doc fixes:msozeau
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-14make doc ne compilait plus la doc de stdlib (bug #1996)notin
2008-11-12Correction du bug #1995notin
2008-10-29Oups...notin
2008-10-29Dépendance des cibles de la documentation envers les cibles de Coqnotin
2008-10-17Suppression de la dépendance de install-doc envers doc :notin
2008-10-14report de la révision r11451 (nouveau style html pour le manuel de référence)notin
2008-08-07Suite commit #11311notin
2008-07-28Fix typoglondu
2008-07-28Use COQINSTALLPREFIX for doc tooglondu
2008-07-16Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...notin
2008-06-26Mauvaise dépendance dans Makefile.docnotin
2008-06-25Report de la révision #11175 de la branche v8.2 vers le trunknotin
2008-06-25Installation de la documentationnotin
2008-06-13Numéros de version dans la docnotin
2008-06-12Remplacement des 'cp' et 'mkdir' par 'install'notin
2008-06-102-3 petites modifs sur la docnotin
2008-05-19MAJ créditsherbelin
2008-05-11- Changement du code de Zplus pour accomoder ring qui sinon prend uneherbelin
2008-05-08** Efficacité, bugs, robustesse CoqIDE **herbelin
2008-04-18Pour engendrer version.tex, adoption de printf qui, au contraire deherbelin
2008-04-18pbm avec echofilliatr
2008-03-23Fix examples in Program documentation and add comindexes for the variousmsozeau
2008-02-20Petits oublis dans Makefile.docnotin
2008-02-15Suppression d'un include et de 2 variables inutilesnotin
2008-02-14Plongement de doc/Makefile dans la nouvelle architecutre des Makefilenotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:55:39 +0000