aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/matching.ml
Commit message (Expand)AuthorAge
* Correction bug 371 (sub_match retournait des instances non closes)Gravatar herbelin2003-12-16
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07