coq - The formal proof system

Age	Commit message (Expand)	Author
2017-10-19	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann
2017-05-05	Adding a test-suite pattern-unification example that Econstr fixed.	Hugo Herbelin
2014-08-25	instanciation is French, instantiation is English	Jason Gross
2012-08-09	Unification in Evar_conv uses an abstract machine state	pboutill
2011-10-11	Completing r14538 (Chung-Kil Hur's trick for fast dependently-typed	herbelin
2011-06-13	Added full pattern-unification on Meta for tactic unification.	herbelin
2011-06-12	Added a new flag for freezing evars in tactic unification. Used this	herbelin
2010-10-07	test-suite: fix success/unification.v	glondu
2010-04-07	Commit 12906 continued (forgotten file).	herbelin
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