aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
AgeCommit message (Expand)Author
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-02-05 17:46:26 +0000