coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-09	Suppression du répertoire distrib: il fait désormais partie du projet coq-d...	notin
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-02-25	changement de path du site web	narboux
2006-02-25	ajoute un warning sur htmlpp	narboux
2006-01-23	Precision	herbelin
2006-01-05	* empty log message *	barras
2005-11-10	windows install	narboux
2005-11-10	ajout de l'entree dans le menu	narboux
2005-11-09	typo	narboux
2005-11-09	ajout installer windows	narboux
2005-11-09	ajout splashscreen	narboux
2005-11-09	ajout splash screen	narboux
2005-11-08	set home	narboux
2005-11-08	installer windows	narboux
2005-11-08	generation auto des .bat	narboux
2005-11-08	uninstall ok	narboux
2005-11-08	un peu mieux mais pas encore ca	narboux
2005-11-06	coq icon	narboux
2005-11-06	installer windows travail en cours	narboux
2005-11-05	scprit for windows install program	narboux
2005-10-07	Ajout maj répertoire d'archivage par version de Coq	herbelin
2005-10-06	MAJ pauillac -> yquem	herbelin
2005-08-01	Procédure d'ajout d'une nouvelle contributions utilisateur	herbelin
2005-07-25	rename INSTALL.win INSTALL.txt to ease opening	narboux
2005-07-06	MAJ	herbelin
2005-03-06	the package script disappeared in MacOS 10.3: we locally copy the 10.2 version	herbelin
2005-01-25	sed ne connait pas '+' sur macosx	herbelin
2004-07-30	MAJ	herbelin
2004-07-30	Unbind the macosx dmg after creation to be able to build it again safely	herbelin
2004-07-29	MAJ cible patch	herbelin
2004-07-17	camlp4 maintenant intégré à ocaml	herbelin
2004-06-02	MacOS X dans /usr/local	herbelin
2004-05-14	test de conversion laissait echapper exception NotConvertible	barras
2004-04-30	Dépendance en $(RPMTOPDIR)	herbelin
2004-04-30	Position du %defattr importante	herbelin
2004-04-21	* empty log message *	barras
2004-04-20	amelioration des specs RPM	barras
2004-04-16	Typo	herbelin
2004-04-16	MAJ setup	herbelin
2004-04-07	preparation a la release 8.0	barras
2004-03-24	* empty log message *	barras
2004-03-18	MAJ macosx	herbelin
2004-03-16	install de pcoq incorrect + spec rpm	barras
2004-03-15	preparation pour release (suite)	barras
2004-03-15	preparation packages V8.0-cdrom	barras
2004-03-12	coq.spec n\'est plus parametre	barras
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2004-01-27	meilleure separation de compil et install de coq, coqide et coq-interface	barras
2004-01-08	Finalisation du mecanisme de creation du rpm coqide	herbelin
2004-01-06	Version 1 pour coqide	herbelin