coq - the Coq proof assistant

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