aboutsummaryrefslogtreecommitdiff
path: root/syntax
AgeCommit message (Expand)Author
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-02-01 04:08:35 +0000