coq - The formal proof system

Age	Commit message (Expand)	Author
2006-05-22	Modification de l'appel à coqdoc (COQBIN)	notin
2006-02-06	Ajout de l'essai d'effacement des noms des cibles custom par la cible clean	herbelin
2005-01-12	This commit corrects the last commit of Hugo that broke down the "make depend"	sacerdot
2004-12-09	VOFILES aussi pour make depend	herbelin
2004-11-28	Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoires	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-29	"xml" target removed from generated makefiles (since it was no longer used)	sacerdot
2004-03-29	MAJ	kirchner
2003-11-08	Ajout option -impredicative-set	herbelin
2003-07-02	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr
2003-02-24	on sait se refaire uniquement si option -f	filliatr
2003-02-24	coq_makefile dit comment faire le .depend (evite l'echec lorsque	filliatr
2002-11-14	bugs	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-09-27	Filtrage redondant	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-06-18	coq_makefile utilise maintenant coqdoc	filliatr
2002-05-30	Ajout des -I contrib	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-02-15	bootstrap consistent avec les options de la ligne de commande	filliatr
2001-12-19	reparation du make depend et du .depend	letouzey