coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction bug #1507 (report révision 9807 de v8.1 vers trunk)	herbelin	2007-04-29
*	Ajout d'un test de complexité de injection (cf bug 1173)	herbelin	2007-04-14
*	Correction bug #1477 sur ordre des variables partagées par les or-patterns.	herbelin	2007-04-13
*	Test non régression bug #1491	herbelin	2007-04-13
*	Nettoyage des tactiques basées sur "simpl" (delta-réduction cachant	herbelin	2007-04-13
*	Un chouia de portabilité en plus et pas de test si pas de bogomips	herbelin	2007-03-19
*	MAJ test complexité pour considérer le cas d'un temps avec un nombre	herbelin	2007-03-17
*	Test de non-régression pour commit 9673	herbelin	2007-03-15
*	Correction typo liée au commit 8779 (levait une anomalie)	herbelin	2007-02-21
*	Prise en compte de l'environnement dans les pbs de conversion + MAJ CHANGES	herbelin	2007-02-21
*	Removed some useless code in mod_typing that was redundant with safe_typing.	soubiran	2007-02-21
*	Fixed the pseudo-cicularity problem due to the with operator on Module Type.	soubiran	2007-02-21
*	Réparation absence d'interprétation des liaisons vers listes	herbelin	2007-02-15
*	Réactivation du filtrage d'ordre 2 dans ltac qui avait cessé de	herbelin	2007-02-13
*	Report de la révision 9577 dans le trunk	notin	2007-02-01
*	Pas de solution à court terme pour ce problème de complexité	herbelin	2007-01-28
*	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
*	Correction pour le rapport de bug #1325 par rétablissement du	herbelin	2007-01-22
*	Prise en compte des univers algébriques dans les types inférés dans	herbelin	2007-01-19
*	Tests de référence circulaire au sous-typage de module (pour mémoire)	herbelin	2007-01-19
*	Correction bug #1302	herbelin	2007-01-17
*	Suite au mail de Lionel a propos du Makefile:	letouzey	2007-01-12
*	Correction petits bugs du check de la test-suite	herbelin	2006-12-28
*	remplacement d'un test d'egalite par un test de convertibilite dans injection...	jforest	2006-12-22
*	Alignement de la politique de renommage de rename_bound_var (utilisé pour	herbelin	2006-12-13
*	test condition de garde	barras	2006-12-13
*	Dépliage du terme d'induction avant suppression quand celui-ci est un	herbelin	2006-12-13
*	Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...	herbelin	2006-12-12
*	MAJ	herbelin	2006-12-12
*	Test bug #932	herbelin	2006-12-12
*	Correction bug #1041 (double cause : non évitement des noms existants en	herbelin	2006-12-12
*	Raffinement de l'unification de "apply": mémorisation de certains	herbelin	2006-11-19
*	Corrige un bug de calcul du temps effectif cquand la dernière décimale est 0	herbelin	2006-11-13
*	Correction typo	herbelin	2006-11-13
*	Ajout de dépliage de l'énoncé, si besoin est, dans apply in	herbelin	2006-11-10
*	Correction d'un bug refine	herbelin	2006-11-10
*	bug test complexité	herbelin	2006-11-03
*	Ajout test setoid_rewrite (cf bug #1176); anglicisation	herbelin	2006-11-01
*	Débranchement du polymorphisme de sorte sur les définitions dans Type	herbelin	2006-10-30
*	missing Require LegacyRfield	barras	2006-10-30
*	Compatibilité du polymorphisme de constantes avec les sections.	herbelin	2006-10-29
*	Check that sort-polymorphic inductive types is not too lax	herbelin	2006-10-27
*	Cette dérivation de paradoxe passait en V8.1beta	herbelin	2006-10-27
*	Applatissement des noeuds application vide dans le filtrage Ltac (ex:	herbelin	2006-10-25
*	Test apply in	herbelin	2006-10-24
*	Le calcul de la classe dans class_args_of ne suivait pas celui de class_of	herbelin	2006-10-21
*	Correction d'un vieux bug de coercion avec éta-expansion (utilisation	herbelin	2006-10-21
*	Clarification des contraintes sur le contexte de paramètres des	herbelin	2006-10-17
*	Adaptation des tests suite à la modification de Rewrite .. in (r9201)	notin	2006-10-13