coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	make doc ne compilait plus la doc de stdlib (bug #1996)	notin	2008-11-14
*	Correction du bug #1995	notin	2008-11-12
*	Oups...	notin	2008-10-29
*	Dépendance des cibles de la documentation envers les cibles de Coq	notin	2008-10-29
*	Suppression de la dépendance de install-doc envers doc :	notin	2008-10-17
*	report de la révision r11451 (nouveau style html pour le manuel de référence)	notin	2008-10-14
*	Suite commit #11311	notin	2008-08-07
*	Fix typo	glondu	2008-07-28
*	Use COQINSTALLPREFIX for doc too	glondu	2008-07-28
*	Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...	notin	2008-07-16
*	Mauvaise dépendance dans Makefile.doc	notin	2008-06-26
*	Report de la révision #11175 de la branche v8.2 vers le trunk	notin	2008-06-25
*	Installation de la documentation	notin	2008-06-25
*	Numéros de version dans la doc	notin	2008-06-13
*	Remplacement des 'cp' et 'mkdir' par 'install'	notin	2008-06-12
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	MAJ crédits	herbelin	2008-05-19
*	- Changement du code de Zplus pour accomoder ring qui sinon prend une	herbelin	2008-05-11
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Pour engendrer version.tex, adoption de printf qui, au contraire de	herbelin	2008-04-18
*	pbm avec echo	filliatr	2008-04-18
*	Fix examples in Program documentation and add comindexes for the various	msozeau	2008-03-23
*	Petits oublis dans Makefile.doc	notin	2008-02-20
*	Suppression d'un include et de 2 variables inutiles	notin	2008-02-15
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14