coq - The formal proof system

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