aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.doc
Commit message (Expand)AuthorAge
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* make doc ne compilait plus la doc de stdlib (bug #1996)Gravatar notin2008-11-14
* Correction du bug #1995Gravatar notin2008-11-12
* Oups...Gravatar notin2008-10-29
* Dépendance des cibles de la documentation envers les cibles de CoqGravatar notin2008-10-29
* Suppression de la dépendance de install-doc envers doc :Gravatar notin2008-10-17
* report de la révision r11451 (nouveau style html pour le manuel de référence)Gravatar notin2008-10-14
* Suite commit #11311Gravatar notin2008-08-07
* Fix typoGravatar glondu2008-07-28
* Use COQINSTALLPREFIX for doc tooGravatar glondu2008-07-28
* Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...Gravatar notin2008-07-16
* Mauvaise dépendance dans Makefile.docGravatar notin2008-06-26
* Report de la révision #11175 de la branche v8.2 vers le trunkGravatar notin2008-06-25
* Installation de la documentationGravatar notin2008-06-25
* Numéros de version dans la docGravatar notin2008-06-13
* Remplacement des 'cp' et 'mkdir' par 'install'Gravatar notin2008-06-12
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* MAJ créditsGravatar herbelin2008-05-19
* - Changement du code de Zplus pour accomoder ring qui sinon prend uneGravatar herbelin2008-05-11
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* Pour engendrer version.tex, adoption de printf qui, au contraire deGravatar herbelin2008-04-18
* pbm avec echoGravatar filliatr2008-04-18
* Fix examples in Program documentation and add comindexes for the variousGravatar msozeau2008-03-23
* Petits oublis dans Makefile.docGravatar notin2008-02-20
* Suppression d'un include et de 2 variables inutilesGravatar notin2008-02-15
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14