coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mise en place d'une toute petite amélioration de l'unification de	herbelin	2008-02-07
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	Raffinement de l'algorithme d'inférence de type	herbelin	2007-09-17
*	Unification des types + clause filtrage manquante + uniformisation locale	herbelin	2007-06-07
*	Toujours l'unification de apply : nouveau raffinement pour ne tester	herbelin	2007-06-06
*	Amélioration de la complexité de auto (l'utilisation des types dans	herbelin	2007-06-05
*	Correction d'un bug dans l'affichage du message d'erreur real_clean	herbelin	2007-05-29
*	Contrôle de la compatibilité de apply via une information dans les	herbelin	2007-05-28
*	Unification suite: petits affinements pour préserver la compatibilité	herbelin	2007-05-24
*	Suite restructuration unification et division des problèmes	herbelin	2007-05-23
*	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin	2007-05-22
*	Essai d'une nouvelle heuristique pour clenv_unique_resolver : si le	herbelin	2007-05-21
*	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin	2007-05-20
*	Utilisation de l'environnement pour l'affichage de certains messages d'erreurs	herbelin	2007-02-21
*	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
*	Correction d'un bug dans l'unification: lors de l'unification d'un meta m et ...	notin	2006-10-05
*	Abandon unification pattern des evars dans apply: combiné avec le	herbelin	2006-09-13
*	Correction conflit Meta/Evar dans commit précédent et extension au	herbelin	2006-09-12
*	Ajout unification pattern dans l'algorithme d'unification des	herbelin	2006-09-12
*	Standardisation du nom des méthodes de Evd	herbelin	2006-04-28
*	eradication de Evarutil.w_Define	barras	2005-06-05
*	WARNING: unification changed (to fix a bug).	sacerdot	2005-05-24
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	?(mod_delta=true) parameter added to each unification function.	sacerdot	2004-09-27
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	inclusion de meta_map dans evar_defs	barras	2004-09-12
*	unification encore...	barras	2004-09-08
*	deuxieme vague de modifs: evar_defs fonctionnel	barras	2004-09-07
*	mimick: unify types before making assignation	barras	2004-09-06
*	bad env in mimick code	barras	2004-09-06
*	deplacement de clenv vers pretyping	barras	2004-09-03
*	premiere reorganisation de l\'unification	barras	2004-09-03