aboutsummaryrefslogtreecommitdiff
path: root/syntax
AgeCommit message (Expand)Author
2001-11-08Prise en compte de la syntaxe [x:=c:t]b comme équivalent de [x:=c::t]bherbelin
2001-10-23Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrRdelahaye
2001-10-05Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...herbelin
2001-08-05Mise en place d'un nouveau Destruct sur le modèle du nouvel Inductionherbelin
2001-06-25Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...herbelin
2001-06-11Reparation d'un bug d'affichage. Les let destructurants, if, et vieux Caseclrenard
2001-05-29Facilites pour le debogguage des univers.coq
2001-04-24Reorganisation pour Ltacdelahaye
2001-04-23Ajout de syntaxe pour Ltacdelahaye
2001-04-13Reparation de l'affichage des THEN'sdelahaye
2001-04-10Bug affichage LETPATTERNherbelin
2001-03-27Interprétation des qualidargherbelin
2001-03-23Les règles d'affichage ajoutés dans le commit précédent avait le même no...herbelin
2001-03-22Règle de syntaxe pour CASTEDCOMMANDherbelin
2001-03-15entetesfilliatr
2001-02-07Ajout du Match Contextdelahaye
2000-11-23Affichage des QUALIDherbelin
2000-11-21Traitement du pretty-print des Redexpdelahaye
2000-10-18Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...herbelin
2000-10-11Niveau d'associativité du letherbelin
2000-10-05Code mort (2ème)herbelin
2000-10-05Code mortherbelin
2000-10-03Renommage tactique Let en LetTacherbelin
2000-09-14Bugs parenthèsesherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-05-23Réparation bug d'affichage et affichage des instanciations par des {...}herbelin
2000-04-28Déplacement du type reference dans Termherbelin
2000-03-20Affichage des <> pour débugherbelin
2000-01-11Bugsherbelin
2000-01-07MAJherbelin
2000-01-07Renommage command en constrherbelin
2000-01-07Renommage command en constrherbelin
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-09Ajout des messages d'erreurs de Casesherbelin
1999-12-06MAJherbelin
1999-12-06PPMultipleCase.v -> PPCases.v et MAJherbelin
1999-12-05pretty-printfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:12:11 +0000