coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Syntaxe IF then else au lieu de either and_then or_else	barras	2002-02-14
*	Bug affichage de O (de nat) dans une expression sur Z	herbelin	2002-01-25
*	Zdiv et Zmod dans Zcomplements	filliatr	2002-01-25
*	Bug commentaire (i i)	herbelin	2002-01-18
*	amadouage de coqweb	letouzey	2002-01-18
*	ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...	letouzey	2002-01-18
*	Rustine pour gérer inject_nat	herbelin	2001-09-12
*	Du bon usage des commentaires coqweb	herbelin	2001-09-11
*	Conformité des commentaires au format coqweb	herbelin	2001-09-11
*	ajout option , Exc --> option, et lemmes dans les theories	mohring	2001-08-29
*	Protection des commentaires pour coqtex et coqweb	herbelin	2001-08-13
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...	herbelin	2001-05-31
*	Minor layout adjustments for Library doc	coq	2001-04-23
*	Library doc adjustments (until page 140)	coq	2001-04-20
*	remplace Zarith par ZArith	mohring	2001-04-19