coq - The formal proof system

Age	Commit message (Expand)	Author
2003-02-13	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-12	maj	filliatr
2003-02-11	Undo dans Coq IDE	filliatr
2003-02-08	Bug Rename	herbelin
2003-02-08	Bug Rename	herbelin
2003-02-06	MAJ	herbelin
2003-02-06	commentaire	coq
2003-02-06	maj	filliatr
2003-02-05	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-04	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-03	-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-02	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-01	Backtrack sur le filtrage des applications partielles (change Tauto/Intuition)	herbelin
2003-01-31	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	maj	filliatr
2003-01-30	Pb de parenthèse dans "Check (S (plus O O))"	herbelin
2003-01-30	Adds a possibility to construct a term as if it had been parsed through	bertot
2003-01-30	Make sure the parser is compiled in native mode.	bertot
2003-01-30	Ajoute les directives pour créer aussi bin/coq-interface.opt	bertot
2003-01-30	Auto with zarith essaye Abstract Omega sur un but False	filliatr