coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Suppression du répertoire distrib: il fait désormais partie du projet coq-d...	notin	2006-06-09
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	ajout de l'entree dans le menu	narboux	2005-11-10
*	Position du %defattr importante	herbelin	2004-04-30
*	* empty log message *	barras	2004-04-21
*	amelioration des specs RPM	barras	2004-04-20
*	MAJ setup	herbelin	2004-04-16
*	preparation a la release 8.0	barras	2004-04-07
*	* empty log message *	barras	2004-03-24
*	install de pcoq incorrect + spec rpm	barras	2004-03-16
*	preparation packages V8.0-cdrom	barras	2004-03-15
*	coq.spec n\'est plus parametre	barras	2004-03-12
*	meilleure separation de compil et install de coq, coqide et coq-interface	barras	2004-01-27
*	Finalisation du mecanisme de creation du rpm coqide	herbelin	2004-01-08
*	pas ide	herbelin	2004-01-06
*	MAJ	herbelin	2004-01-06
*	aide contextuelle / menus compilation + print + export	filliatr	2003-02-24
*	-reals all	filliatr	2003-02-03
*	release 7.4; changement magic number	filliatr	2003-02-03
*	'make check' echoue si au moins un test echoue.	courant	2002-06-04
*	MAJ V7.3	herbelin	2002-05-15
*	MAJ 7.2	herbelin	2001-12-19
*	MAJ V7.1	herbelin	2001-09-20
*	Nouveau coq.spec avec les droits de root	herbelin	2001-09-04
*	modif pour RPM et Debian	courant	2001-04-25
*	modif rpm	courant	2001-04-25