coq - The formal proof system

Age	Commit message (Expand)	Author
2005-11-15	maj	coq
2005-11-14	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-13	maj	coq
2005-11-12	maj	coq
2005-11-11	maj	coq
2005-11-10	maj	coq
2005-11-10	windows install	narboux
2005-11-10	ajout de l'entree dans le menu	narboux
2005-11-09	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-08	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-07	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-06	maj	coq
2005-11-06	coq icon	narboux
2005-11-06	installer windows travail en cours	narboux
2005-11-05	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-04	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-03	maj	coq
2005-11-03	* empty log message *	mohring
2005-11-03	deplacement params_ind	mohring
2005-11-02	maj	coq
2005-11-02	maj	coq
2005-11-02	Types inductifs parametriques	mohring