coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	Preservation affichage des ?n en V7	herbelin	2003-05-22
*	Affichage META	herbelin	2003-05-19
*	Affichage des Fix contenant des Let dans leur context (ce que la tactique Fix...	herbelin	2003-04-27
*	notations <>, Assumption avec existentiel, replace term	mohring	2003-03-28
*	Ajout de Set Print Width	gregoire	2003-03-26
*	Introduction d'un constructeur ARROW; rétablissement priorités des	herbelin	2002-11-20
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin	2002-10-28
*	Parenthèses forcées autour des arguments d'une application pour parser	herbelin	2002-10-14
*	Ajout EVAL	herbelin	2002-05-29
*	Prise en compte de la syntaxe [x:=c:t]b comme équivalent de [x:=c::t]b	herbelin	2001-11-08
*	Reparation d'un bug d'affichage. Les let destructurants, if, et vieux Case	clrenard	2001-06-11
*	Facilites pour le debogguage des univers.	coq	2001-05-29
*	entetes	filliatr	2001-03-15
*	Affichage des QUALID	herbelin	2000-11-23
*	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin	2000-10-18
*	Niveau d'associativité du let	herbelin	2000-10-11
*	Code mort (2ème)	herbelin	2000-10-05
*	Code mort	herbelin	2000-10-05
*	Bugs parenthèses	herbelin	2000-09-14
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	Réparation bug d'affichage et affichage des instanciations par des {...}	herbelin	2000-05-23
*	Déplacement du type reference dans Term	herbelin	2000-04-28
*	Affichage des <> pour débug	herbelin	2000-03-20
*	Renommage command en constr	herbelin	2000-01-07