coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	A la demande de Julien Forest	letouzey	2005-11-17
*	maj	coq	2005-11-16
*	maj	coq	2005-11-15
*	maj	coq	2005-11-14
*	avoids warnings about unused variables	bertot	2005-11-14
*	adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,	bertot	2005-11-14
*	maj	coq	2005-11-13
*	maj	coq	2005-11-12
*	maj	coq	2005-11-11
*	maj	coq	2005-11-10
*	windows install	narboux	2005-11-10
*	ajout de l'entree dans le menu	narboux	2005-11-10
*	maj	coq	2005-11-09
*	typo	narboux	2005-11-09
*	ajout installer windows	narboux	2005-11-09
*	ajout splashscreen	narboux	2005-11-09
*	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