coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	fix pour install windows	narboux	2005-11-09
*	ajout splash screen	narboux	2005-11-09
*	maj	coq	2005-11-08
*	maj	coq	2005-11-08
*	set home	narboux	2005-11-08
*	installer windows	narboux	2005-11-08
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	generation auto des .bat	narboux	2005-11-08
*	Nettoyage suite nouveaux avertissements Y et Z de ocaml 3.09	herbelin	2005-11-08
*	Nettoyage suite nouvel avertissement Z de ocaml 3.09	herbelin	2005-11-08
*	uninstall ok	narboux	2005-11-08
*	un peu mieux mais pas encore ca	narboux	2005-11-08
*	- debugging og "Show Intros": no line breaking + fresh ids	coq	2005-11-08
*	maj	coq	2005-11-07
*	maj	coq	2005-11-07
*	Modifications in the .depend files for the contrib/recdef directory	bertot	2005-11-07
*	Adds tools to help in defining new general recursive functions	bertot	2005-11-07
*	maj	coq	2005-11-06
*	coq icon	narboux	2005-11-06
*	installer windows travail en cours	narboux	2005-11-06
*	maj	coq	2005-11-05
*	option -w y finalement pas admise par ocamlc <= 3.08.2	herbelin	2005-11-05
*	scprit for windows install program	narboux	2005-11-05
*	maj	coq	2005-11-04
*	Compatibilité ocaml 3.09	herbelin	2005-11-04
*	Passage option -w à ocaml	herbelin	2005-11-04
*	Conformité au principe du nouveau warning X de ocaml 3.09	herbelin	2005-11-04
*	Confusion message erreur détectée par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
*	Confusion assert/error détectée par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
*	Point-virgule manquant ligne 914 détecté par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
*	maj	coq	2005-11-03
*	* empty log message *	mohring	2005-11-03
*	deplacement params_ind	mohring	2005-11-03
*	maj	coq	2005-11-02
*	maj	coq	2005-11-02
*	Types inductifs parametriques	mohring	2005-11-02
*	Test reproductibilité du bug #1031	herbelin	2005-11-02
*	Correction bug invert_names (cf bug #1031)	herbelin	2005-11-02
*	Ajout tests interactifs	herbelin	2005-11-02
*	maj	coq	2005-11-01
*	Interactive test of Back	herbelin	2005-11-01
*	Correction bug #1030 (conséquence du commit 1.84 sur le discharge: add_froze...	herbelin	2005-11-01
*	maj	coq	2005-10-31
*	maj	coq	2005-10-30
*	maj	coq	2005-10-29
*	maj	coq	2005-10-28
*	maj	coq	2005-10-27
*	maj	coq	2005-10-27
*	catchable_exception laisse passer les InductiveError	werner	2005-10-27
*	maj	coq	2005-10-26