coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin	2008-06-18
*	Prise en compte de l'export des .cmi dans coq_makefile	notin	2008-06-11
*	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin	2008-06-09
*	Correction d'un bug dans coq_makefile: génération des règles implicites en...	notin	2008-04-29
*	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin	2008-04-03
*	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin	2008-03-26
*	Prise en compte des dépendances des .ml	notin	2008-03-25
*	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey	2008-03-14
*	Coq_makefile : backtrack sur les liens vers les exécutables ocaml	notin	2008-03-08
*	Correction d'un bug de coq_makefile	notin	2008-03-07
*	Coq_makefile: correction de l'appel aux exécutables Ocaml	notin	2008-02-28
*	Coq_makefile: Correction d'un bug sur les options passées à Coqdoc	notin	2008-02-28
*	Génération d'une toc en html et avec l'option -ps	notin	2008-02-27
*	coq_makefile: variables	notin	2008-02-25
*	coq_makefile: dépendances + génération des fichiers html	notin	2008-02-25
*	Petite correction sur coq_makefile	notin	2007-12-18
*	Prise en compte des .glob par coq_makefile	notin	2007-10-17
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	- MAJ entêtes des fichiers produits par coq_makefile	herbelin	2007-05-16
*	Améliorations utiles pour les Makefile répartis sur plusieurs répertoires	herbelin	2007-02-24
*	Modification de l'appel à coqdoc (COQBIN)	notin	2006-05-22
*	Ajout de l'essai d'effacement des noms des cibles custom par la cible clean	herbelin	2006-02-06
*	This commit corrects the last commit of Hugo that broke down the "make depend"	sacerdot	2005-01-12
*	VOFILES aussi pour make depend	herbelin	2004-12-09
*	Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoires	herbelin	2004-11-28
*	Nouvelle en-tête	herbelin	2004-07-16
*	"xml" target removed from generated makefiles (since it was no longer used)	sacerdot	2004-03-29
*	MAJ	kirchner	2004-03-29
*	Ajout option -impredicative-set	herbelin	2003-11-08
*	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr	2003-07-02
*	on sait se refaire uniquement si option -f	filliatr	2003-02-24
*	coq_makefile dit comment faire le .depend (evite l'echec lorsque	filliatr	2003-02-24
*	bugs	herbelin	2002-11-14
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Filtrage redondant	herbelin	2002-09-27
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	coq_makefile utilise maintenant coqdoc	filliatr	2002-06-18
*	Ajout des -I contrib	herbelin	2002-05-30
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	bootstrap consistent avec les options de la ligne de commande	filliatr	2002-02-15
*	reparation du make depend et du .depend	letouzey	2001-12-19