coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update (test-suite was not successful).	glondu	2007-07-12
*	Improvements / Bug fixes for ROmega	letouzey	2007-07-09
*	Factorisation des paramètres dans l'affichage des inductifs	herbelin	2007-07-02
*	Contrôle de la compatibilité de apply via une information dans les	herbelin	2007-05-28
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9859 85f007b7-540e-04...	soubiran	2007-05-25
*	Unification suite: petits affinements pour préserver la compatibilité	herbelin	2007-05-24
*	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin	2007-05-22
*	Wish #1582 (3eme)	herbelin	2007-05-18
*	Correction bug calcul des implicites en présence d'evars dans les types	herbelin	2007-05-16
*	Prise en compte réversibilité des notations de la forme "Notation Nil := @n...	herbelin	2007-05-10
*	Nouveaux changements autour des implicites (notamment suite à	herbelin	2007-05-06
*	Modification syntaxe de Test	herbelin	2007-04-30
*	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