coq - The formal proof system

Age	Commit message (Expand)	Author
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
2001-04-20	support option -R pour coqdep	filliatr
2001-04-16	* empty log message *	courant
2001-04-06	bug Print Proof; usage coqtop/coqc	filliatr
2001-04-04	ajout de coq_example# dans coq-tex	werner
2001-03-15	entetes	filliatr
2001-02-08	modifs mineures	filliatr
2001-01-30	backtrack sur le lexeur de la V6	filliatr
2001-01-03	Prise en compte des ??	herbelin
2000-12-26	MAJ	herbelin
2000-12-25	Traducteur automatique de scripts vernac	herbelin
2000-12-11	numarg -> pure_numarg a poursuivre	mohring
2000-11-09	do_Makefile -> coq_makefile pour le bootstrap!	filliatr
2000-11-08	nouveau load path	filliatr
1999-12-11	outils (manquent encore les deux filtres)	filliatr