aboutsummaryrefslogtreecommitdiffhomepage
path: root/syntax/PPTactic.v
Commit message (Expand)AuthorAge
* Affichage NewInduction/NewDesctructGravatar herbelin2001-12-13
* Affichage des '_' pour IntrosGravatar herbelin2001-12-06
* Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrRGravatar delahaye2001-10-23
* Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle...Gravatar herbelin2001-10-05
* Mise en place d'un nouveau Destruct sur le modèle du nouvel InductionGravatar herbelin2001-08-05
* Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...Gravatar herbelin2001-06-25
* Reorganisation pour LtacGravatar delahaye2001-04-24
* Ajout de syntaxe pour LtacGravatar delahaye2001-04-23
* Reparation de l'affichage des THEN'sGravatar delahaye2001-04-13
* Bug affichage LETPATTERNGravatar herbelin2001-04-10
* Interprétation des qualidargGravatar herbelin2001-03-27
* Les règles d'affichage ajoutés dans le commit précédent avait le même no...Gravatar herbelin2001-03-23
* Règle de syntaxe pour CASTEDCOMMANDGravatar herbelin2001-03-22
* entetesGravatar filliatr2001-03-15
* Ajout du Match ContextGravatar delahaye2001-02-07
* Traitement du pretty-print des RedexpGravatar delahaye2000-11-21
* Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...Gravatar herbelin2000-10-18
* Renommage tactique Let en LetTacGravatar herbelin2000-10-03
* Renommage command en constrGravatar herbelin2000-01-07
* MAJGravatar herbelin1999-12-06
* pretty-printGravatar filliatr1999-12-05