aboutsummaryrefslogtreecommitdiffhomepage
path: root/syntax/PPConstr.v
Commit message (Expand)AuthorAge
* Preservation affichage des ?n en V7Gravatar herbelin2003-05-22
* Affichage METAGravatar herbelin2003-05-19
* Affichage des Fix contenant des Let dans leur context (ce que la tactique Fix...Gravatar herbelin2003-04-27
* notations <>, Assumption avec existentiel, replace termGravatar mohring2003-03-28
* Ajout de Set Print WidthGravatar gregoire2003-03-26
* Introduction d'un constructeur ARROW; rétablissement priorités desGravatar herbelin2002-11-20
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Des critères plus fins d'analyse des implicites automatiques; meilleur affic...Gravatar herbelin2002-10-28
* Parenthèses forcées autour des arguments d'une application pour parserGravatar herbelin2002-10-14
* Ajout EVALGravatar herbelin2002-05-29
* Prise en compte de la syntaxe [x:=c:t]b comme équivalent de [x:=c::t]bGravatar herbelin2001-11-08
* Reparation d'un bug d'affichage. Les let destructurants, if, et vieux CaseGravatar clrenard2001-06-11
* Facilites pour le debogguage des univers.Gravatar coq2001-05-29
* entetesGravatar filliatr2001-03-15
* Affichage des QUALIDGravatar herbelin2000-11-23
* Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...Gravatar herbelin2000-10-18
* Niveau d'associativité du letGravatar herbelin2000-10-11
* Code mort (2ème)Gravatar herbelin2000-10-05
* Code mortGravatar herbelin2000-10-05
* Bugs parenthèsesGravatar herbelin2000-09-14
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Réparation bug d'affichage et affichage des instanciations par des {...}Gravatar herbelin2000-05-23
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* Affichage des <> pour débugGravatar herbelin2000-03-20
* Renommage command en constrGravatar herbelin2000-01-07