coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	notations <>, Assumption avec existentiel, replace term	mohring	2003-03-28
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12
*	Bug precedence	herbelin	2003-01-22
*	Re-installation nombres dans les motifs sur Z	herbelin	2002-12-28
*	Ajout syntaxe '>'	herbelin	2002-12-15
*	Z_scope doit annuler l'affichage de = entre	herbelin	2002-12-02
*	Correction affichage entiers en cas d'échec	herbelin	2002-11-26
*	Rétablissement affichage des entiers de nat	herbelin	2002-11-25
*	Traitement des parenthèses de nat au niveau du printer	herbelin	2002-11-24
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin	2002-10-23
*	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin	2002-10-22
*	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	Correction non reconnaissance des variables de section dans les afficheurs de...	herbelin	2002-06-06
*	Contournement des My_special_variable	herbelin	2002-05-29
*	Quelques bugs avec inject_nat	herbelin	2002-04-17
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Bug d'affichage des réels dû à une collision entre les APPLINSIDETAIL de Z...	herbelin	2002-03-22
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Bug affichage de O (de nat) dans une expression sur Z	herbelin	2002-01-25
*	Rustine pour gérer inject_nat	herbelin	2001-09-12
*	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