coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	bugs/améliorations trouvés via FTA	letouzey	2003-02-21
*	Affinement entree annot	herbelin	2003-02-17
*	maj	filliatr	2003-02-15
*	prise en compte des sous-repertoires Coq de maniere dynamique	filliatr	2003-02-14
*	Ajout du theoreme de Cesaro	desmettr	2003-02-14
*	MAJ pour Reals/SeqSeries.v	desmettr	2003-02-14
*	Test de non bouclage malencontreux dans les niveaux	herbelin	2003-02-13
*	Modifications dans une tactique toplevel	delahaye	2003-02-13
*	Correction d'un bug introduit dans le backtracking d'occurrence	delahaye	2003-02-13
*	Chargement dynamique de .cma	delahaye	2003-02-13
*	Debugger plus informatif	delahaye	2003-02-13
*	maj	filliatr	2003-02-12
*	Undo dans Coq IDE	filliatr	2003-02-11
*	Bug Rename	herbelin	2003-02-08
*	Bug Rename	herbelin	2003-02-08
*	MAJ	herbelin	2003-02-06
*	commentaire	coq	2003-02-06
*	maj	filliatr	2003-02-06
*	update	desmettr	2003-02-05
*	Ajout du traducteur	desmettr	2003-02-05
*	Suppression de l'élimination des existentiels dans LinearIntuition.	corbinea	2003-02-05
*	Automatisation de la création de l'image avec le package MacOS-X	herbelin	2003-02-05
*	maj	filliatr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	MAJ Windows	herbelin	2003-02-04
*	MAJ	herbelin	2003-02-04
*	Contournement de ocamlmktop qui plante sous win32	herbelin	2003-02-04
*	MAJ pour windows	herbelin	2003-02-04
*	-reals all	filliatr	2003-02-03
*	make check utilise toujours le Coq local	filliatr	2003-02-03
*	maj	filliatr	2003-02-03
*	release 7.4; changement magic number	filliatr	2003-02-03
*	Added a clause for VernacDefineModule, but with an error as result.	bertot	2003-02-03
*	maj	filliatr	2003-02-03
*	maj status de l'extraction des modules	letouzey	2003-02-03
*	hack horrible pour renommage dans Modules Types et Functeurs	letouzey	2003-02-03
*	encore un long_kn	letouzey	2003-02-03
*	contrib/extraction/table utilise printer	letouzey	2003-02-02
*	plus d'environment fixe cur_env mais un environment evolutif	letouzey	2003-02-02
*	Bug affichage let destructurant	herbelin	2003-02-02
*	Backtrack sur le filtrage des applications partielles (change Tauto/Intuition)	herbelin	2003-02-01
*	Ajout d'un filtrage d'application partielle	herbelin	2003-01-31
*	MAJ	herbelin	2003-01-31
*	MAJ	herbelin	2003-01-31
*	MAJ	herbelin	2003-01-31
*	Unification plus efficace vis à vis du LetIn	herbelin	2003-01-31
*	preparation pkg deb for 7.4	courant	2003-01-31
*	* empty log message *	courant	2003-01-31
*	MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout	coq	2003-01-31
*	Pour satisfaire ProofGeneral	coq	2003-01-31