coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ OTHERFLAGS	herbelin	2003-11-10
*	Ajout option -impredicative-set	herbelin	2003-11-08
*	Passage options via COQFLAGS plutot que OPT	herbelin	2003-09-24
*	Outil de test de la traduction et de la compilation en v8 sans modification des	herbelin	2003-09-12
*	Message pour les erreurs	herbelin	2003-09-12
*	typo	narboux	2003-09-10
*	affichage de la nature des colonnes	filliatr	2003-09-05
*	coqwc	filliatr	2003-09-05
*	Bug et amliorations diverses	herbelin	2003-08-12
*	Outils de traduction	herbelin	2003-08-11
*	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr	2003-07-02
*	Modif de coq-tex - meilleur affichage des suite de coq_example's	coq	2003-05-13
*	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
*	prise en compte des sous-repertoires Coq de maniere dynamique	filliatr	2003-02-14
*	mdule --> module	mohring	2002-12-04
*	fichiers DOS	filliatr	2002-12-04
*	Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)	letouzey	2002-11-15
*	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
*	commit du calcul des dependances un peu plus robuste	barras	2002-10-15
*	gestion coherente de l'option -R et des Require A.B.C.	barras	2002-10-10
*	backslahs foireux	filliatr	2002-10-01
*	Filtrage redondant	herbelin	2002-09-27
*	Un peu plus de flexibilité pour la position du '.' final	herbelin	2002-09-16
*	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
*	coq-inferior, by Marco Maggesi	filliatr	2002-04-15
*	meilleure gestion du point terminal	filliatr	2002-04-04
*	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
*	Encapsulage des '<' et '>' pour éviter le regroupement '«'	herbelin	2001-10-02
*	la cible all était incomplète	filliatr	2001-09-19
*	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr	2001-09-19
*	prise en compte de Load par coqdep	filliatr	2001-08-31
*	"make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTML	filliatr	2001-07-17
*	all.g.ps -> all-gal.ps	filliatr	2001-07-16
*	compat -sort et -suffix	filliatr	2001-07-16
*	cibles all.ps et all-gal.ps (utilisation de coqweb)	filliatr	2001-07-16
*	utilisation de printf (simplif)	filliatr	2001-07-16
*	plus besoin de separer les ?	barras	2001-06-13
*	Chgt de MAKE= ...	letouzey	2001-05-29
*	option -byte	filliatr	2001-05-28
*	application patch Claudio	filliatr	2001-05-11
*	- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte	courant	2001-04-25
*	patch Claudio pour coq_makefile	filliatr	2001-04-23
*	Hints.... added next to Hint....	coq	2001-04-20