coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle interprétation des nombres réels	desmettr	2003-01-15
*	Ajout syntaxe '>'	herbelin	2002-12-15
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	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
*	Double Induction prend maintenant des noms d'hyppthèses	herbelin	2002-05-29
*	Bug d'affichage des réels dû à une collision entre les APPLINSIDETAIL de Z...	herbelin	2002-03-22
*	Backtrack sur le commit du 30.11.2001	delahaye	2001-12-04
*	* empty log message *	desmettr	2001-11-30
*	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye	2001-10-23
*	Un look un peu plus avenant aux productions des règles de grammaire	herbelin	2001-09-11
*	modifs de preuves (plus simples)	mayero	2001-07-19
*	Correction bug outside	mayero	2001-06-04
*	Ajout de Rseries et Rtrigo_fun	mayero	2001-04-24
*	Library doc adjustments (until page 140)	coq	2001-04-20
*	Mise de (*i autour CVS info	mohring	2001-04-19
*	Changement syntax pour Rinv	mayero	2001-04-19
*	entetes	filliatr	2001-03-15
*	modif de la syntax: assoc a droite pour Ring	mayero	2001-02-08
*	corr bug -	mayero	2001-01-11
*	* empty log message *	mayero	2000-12-22
*	pb niveau	mayero	2000-12-15
*	Prise en compte `?' dans les `` ``	herbelin	2000-12-06
*	Reparation d'un bug de pretty-print	delahaye	2000-12-05
*	Ajout d'une syntaxe pour Reals.	mayero	2000-11-23