coq - The formal proof system

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