coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* 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-21
*	* empty log message *	herbelin	2001-11-20
*	* empty log message *	herbelin	2001-11-16
*	Quelques tests sur le let-in	herbelin	2001-11-08
*	* empty log message *	herbelin	2001-10-15
*	Test compatibilité V6 pour les filtrages avec let-in	herbelin	2001-10-15
*	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-03
*	Tests noms longs de modules	herbelin	2001-10-01
*	ajout d'un fichier test pour setoides	clrenard	2001-09-25
*	Vérification de la syntaxe des options	herbelin	2001-09-21
*	Test inférence prédicat en présence d'univers	herbelin	2001-09-20
*	Refine et let-in	filliatr	2001-09-20
*	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
*	Syntaxe des Hints	herbelin	2001-09-13
*	Bug inférence du prédicat en présence de K-rédex	herbelin	2001-06-25
*	Fix d'un bug de Tauto	delahaye	2001-06-15
*	Ajout de deux anciens bugs	delahaye	2001-06-05
*	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin	2001-05-12
*	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin	2001-05-12
*	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-20
*	Bug rapporte par Randy en Mars 2000	herbelin	2001-04-11
*	entetes	filliatr	2001-03-15
*	* empty log message *	herbelin	2001-03-14
*	Ajout syntaxe zarith	herbelin	2001-03-14
*	Ajout d'un test sur EAuto	mohring	2001-02-27
*	Test syntaxe avec motifs numériques	herbelin	2001-02-14
*	EqDecide	filliatr	2001-02-06
*	Ajout d'un exemple	delahaye	2001-02-06
*	D'autres exemples	delahaye	2001-02-05
*	Ajout du test de Tauto	delahaye	2001-02-05
*	Tests pour	herbelin	2001-01-21
*	test univers, inductifs et sections	filliatr	2000-12-15
*	Fichier de test pour les Cases	herbelin	2000-12-14
*	Ajout de tests	mohring	2000-12-12
*	tests automatiques	herbelin	2000-12-09