coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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