coq - The formal proof system

Age	Commit message (Expand)	Author
2001-12-11	Test des coercions dans les motifs	herbelin
2001-12-10	- condition de garde (suite)	barras
2001-12-10	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey
2001-12-10	mise a jour	filliatr
2001-12-07	* empty log message *	desmettr
2001-12-07	* empty log message *	desmettr
2001-12-06	Maj	herbelin
2001-12-06	Parade contre effet indésirable du commit précédent	herbelin
2001-12-06	Affichage des '_' pour Intros	herbelin
2001-12-06	Amélioration nommage hypothèses NewInduction (et incompatibilités)	herbelin
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...	herbelin
2001-12-04	Traitement t de -1<>0	delahaye
2001-12-04	bug fix de la condition de garde	barras
2001-12-04	Backtrack sur le commit du 30.11.2001	delahaye
2001-12-03	* empty log message *	desmettr
2001-11-30	desobfuscation du code de la verif de la condition de garde	barras
2001-11-30	* empty log message *	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	Ajout du fichier	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	Modification de Reals pour integrer les modifications	desmettr
2001-11-30	Ajout du fichier concernant le carre et la racine carree	desmettr
2001-11-30	Integration de nouveaux lemmes	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	Intégration de nouveaux lemmes.	desmettr
2001-11-30	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard
2001-11-29	Mise a jour des dependances	clrenard
2001-11-29	mise a jour	filliatr
2001-11-29	reparation de Locate	barras
2001-11-29	nouvel algo de conversion plus uniforme	barras
2001-11-29	nouvel algo de conversion plus uniforme	barras
2001-11-27	mise a jour	filliatr
2001-11-23	Retablissement de la commande Existential que j'avais supprime par erreur.	clrenard
2001-11-22	MAJ	herbelin
2001-11-22	La mise en forme normale du prédicat d'élimination était un peu trop viole...	herbelin
2001-11-21	Amélioration message Cases	herbelin
2001-11-21	Quelques autres petits problèmes résolus...	herbelin
2001-11-21	* empty log message *	herbelin
2001-11-21	MAJ	herbelin
2001-11-21	Amélioration messages d'erreur arité incorrecte (notamment record)	herbelin
2001-11-21	Possibilité d'appeler check avec l'option -byte	herbelin