coq - The formal proof system

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