coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Adding a regression test about Bauer's example on coq-club of	herbelin	2009-06-02
*	Retrait d'un test commité par erreur en 10947	herbelin	2008-05-20
*	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin	2008-05-19
*	Résolution des problèmes ambigus d'inférence du type de retour des	herbelin	2008-05-14
*	- Un peu de doc, préparation du CHANGES pour la release.	herbelin	2008-04-15
*	Backtrack sur le test censé discriminer entre une erreur d'evar non	herbelin	2008-03-15
*	Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145)	herbelin	2008-03-10
*	Correction d'un bug "ancestral": apply ne savait pas unifier ?n=?n	herbelin	2008-03-06
*	Correction d'une typo restant du commit 10557 et cause d'échec de contribs	herbelin	2008-03-05
*	Redondance erronée dans les tests	herbelin	2007-01-25
*	Correction d'un bug d'unification-pattern dans l'algo d'unification	herbelin	2007-01-22
*	Raffinement de l'unification de "apply": mémorisation de certains	herbelin	2006-11-19
*	Ajout unification pattern dans l'algorithme d'unification des	herbelin	2006-09-12
*	Diverses modifications autour de l'unification modulo conversion:	herbelin	2006-08-28