aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssrmatching/ssrmatching.mli
Commit message (Expand)AuthorAge
* Remove (useless) aliases from the API.Gravatar Matej Košík2017-06-10
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\
| * Remove unused [open] statementsGravatar Gaetan Gilbert2017-04-27
| * Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* | [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
|/
* Merge branch 'master'.Gravatar Pierre-Marie Pédrot2017-02-14
|\
* | Porting the ssrmatching plugin to the new EConstr API.Gravatar Enrico Tassi2017-02-14
| * Renamings to avoid confusion deprecating old namesGravatar Matthieu Sozeau2016-10-22
|/
* Ssreflect pattern matching facilitiesGravatar Enrico Tassi2016-03-02