coq - the Coq proof assistant

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