coq - The formal proof system

Age	Commit message (Expand)	Author
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	Possibilité d'appeler check avec l'option -byte	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 l'exahustivité du filtrage	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-17	Test syntaxe des constructions de l'état initial	herbelin
2001-10-17	Test soumis par Randy Pollack	herbelin
2001-10-17	Mise en place d'un test de correction de la sortie de commandes Coq	herbelin
2001-10-17	Commit par erreur	herbelin
2001-10-17	Test syntaxe des entiers relatifs	herbelin
2001-10-17	Test syntaxe des réels	herbelin
2001-10-15	* empty log message *	herbelin
2001-10-15	Test compatibilité V6 pour les filtrages avec let-in	herbelin
2001-10-05	Test de dépendances de ClearBody	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-19	Comportements peut-être souhaités mais en tout cas non officiellement pris ...	herbelin
2001-09-13	Syntaxe des Hints	herbelin
2001-09-09	Tests l'incohérence des univers	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-25	MAJ	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	Erreurs de Cases	mohring
2001-04-20	* empty log message *	mohring
2001-04-20	Ajout d'erreurs sur le Case avec branche redondante	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-13	ajout de tests	mohring
2001-04-11	Bug rapporte par Randy en Mars 2000	herbelin
2001-03-15	entetes	filliatr