coq - The formal proof system

Age	Commit message (Expand)	Author
2007-09-14	Correction du bug #1679 (congruence) et ajout test-suite	corbinea
2007-09-06	Itération sur les sous-termes dans la vérification de la condition de garde	herbelin
2007-08-25	Extension et documentation de real_clean/evar_define dans evarutil.ml:	herbelin
2007-08-22	Correction du bug #1634 + ajout de bugs dans la test-suite	notin
2007-08-16	Correction du bug #1322	notin
2007-08-16	Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;	notin
2007-08-10	Ajout d'un exemple d'inversion des dépendances dans le prédicat comme	herbelin
2007-08-10	Typo	notin
2007-08-10	Modification de la test suite pour intégrer des tests spécifiques aux	notin
2007-08-08	Add a test case for the new "dependent" induction tactics.	msozeau
2007-07-23	removed thesis	barras
2007-07-18	A generic preprocessing tactic zify for (r)omega	letouzey
2007-07-12	Update (test-suite was not successful).	glondu
2007-07-09	Improvements / Bug fixes for ROmega	letouzey
2007-07-02	Factorisation des paramètres dans l'affichage des inductifs	herbelin
2007-05-28	Contrôle de la compatibilité de apply via une information dans les	herbelin
2007-05-25	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9859 85f007b7-540e-04...	soubiran
2007-05-24	Unification suite: petits affinements pour préserver la compatibilité	herbelin
2007-05-22	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin
2007-05-18	Wish #1582 (3eme)	herbelin
2007-05-16	Correction bug calcul des implicites en présence d'evars dans les types	herbelin
2007-05-10	Prise en compte réversibilité des notations de la forme "Notation Nil := @n...	herbelin
2007-05-06	Nouveaux changements autour des implicites (notamment suite à	herbelin
2007-04-30	Modification syntaxe de Test	herbelin
2007-04-29	Correction bug #1507 (report révision 9807 de v8.1 vers trunk)	herbelin
2007-04-14	Ajout d'un test de complexité de injection (cf bug 1173)	herbelin
2007-04-13	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-03-19	Un chouia de portabilité en plus et pas de test si pas de bogomips	herbelin
2007-03-17	MAJ test complexité pour considérer le cas d'un temps avec un nombre	herbelin
2007-03-15	Test de non-régression pour commit 9673	herbelin
2007-02-21	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-15	Réparation absence d'interprétation des liaisons vers listes	herbelin
2007-02-13	Réactivation du filtrage d'ordre 2 dans ltac qui avait cessé de	herbelin
2007-02-01	Report de la révision 9577 dans le trunk	notin
2007-01-28	Pas de solution à court terme pour ce problème de complexité	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
2007-01-22	Correction pour le rapport de bug #1325 par rétablissement du	herbelin
2007-01-19	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-17	Correction bug #1302	herbelin
2007-01-12	Suite au mail de Lionel a propos du Makefile:	letouzey
2006-12-28	Correction petits bugs du check de la test-suite	herbelin
2006-12-22	remplacement d'un test d'egalite par un test de convertibilite dans injection...	jforest
2006-12-13	Alignement de la politique de renommage de rename_bound_var (utilisé pour	herbelin