coq - The formal proof system

Age	Commit message (Expand)	Author
2002-02-28	* empty log message *	herbelin
2002-01-25	* empty log message *	herbelin
2002-01-21	Ajout test de Pierre Crégut	herbelin
2002-01-18	* empty log message *	herbelin
2002-01-18	* empty log message *	herbelin
2002-01-16	Ajout d'un test sur les anonymes dépendant dans des arguments implicites	herbelin
2002-01-15	Test le filtrage dépendant vers l'avant	herbelin
2001-12-21	* empty log message *	herbelin
2001-12-21	Ajout d'un exemple de Christine	herbelin
2001-12-19	MAJ Grammar	herbelin
2001-12-19	NatRing (2ème)	herbelin
2001-12-19	NatRing	herbelin
2001-12-19	Un peu plus d'inférence des ? traitée par le Cases	herbelin
2001-12-13	* empty log message *	herbelin
2001-12-11	Test des coercions dans les motifs	herbelin
2001-11-21	* empty log message *	herbelin
2001-11-21	La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...	herbelin
2001-11-21	Un bug dans le script	herbelin
2001-11-21	Sur la cumulativité dans les tactiques	herbelin
2001-11-21	Nouveaux exemples	herbelin
2001-11-20	* empty log message *	herbelin
2001-11-16	* empty log message *	herbelin
2001-11-08	Quelques tests sur le let-in	herbelin
2001-10-15	* empty log message *	herbelin
2001-10-15	Test compatibilité V6 pour les filtrages avec let-in	herbelin
2001-10-03	Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)	herbelin
2001-10-03	Tests de Cases avec définitions locales	herbelin
2001-10-01	Tests noms longs de modules	herbelin
2001-09-25	ajout d'un fichier test pour setoides	clrenard
2001-09-21	Vérification de la syntaxe des options	herbelin
2001-09-20	Test inférence prédicat en présence d'univers	herbelin
2001-09-20	Refine et let-in	filliatr
2001-09-19	Quelques signes extérieurs de la sémantique de Remark, question visibilité	herbelin
2001-09-19	Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...	herbelin
2001-09-13	Syntaxe des Hints	herbelin
2001-06-25	Bug inférence du prédicat en présence de K-rédex	herbelin
2001-06-15	Fix d'un bug de Tauto	delahaye
2001-06-05	Ajout de deux anciens bugs	delahaye
2001-05-12	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin
2001-05-12	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin
2001-04-20	test Fourier, DiscrR	mayero
2001-04-20	Mise a la norme lexicale	mohring
2001-04-20	Decomposition de Cases	mohring
2001-04-20	* empty log message *	mohring
2001-04-20	Tests pour Field avec les nombres reels	delahaye
2001-04-20	Ajout de la ligne d'etat pour CVS	delahaye
2001-04-11	Bug rapporte par Randy en Mars 2000	herbelin
2001-03-15	entetes	filliatr
2001-03-14	* empty log message *	herbelin
2001-03-14	Ajout syntaxe zarith	herbelin