aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssrmatching/ssrmatching.mli
Commit message (Expand)AuthorAge
* ssr: rewrite Ssripats and Ssrview in the tactic monadGravatar Enrico Tassi2018-03-04
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* [api] Remove type equalities from API.Gravatar Emilio Jesus Gallego Arias2017-07-25
* [API] Remove `open API` in ml files in favor of `-open API` flag.Gravatar Emilio Jesus Gallego Arias2017-07-17
* Removing Proof_type from the API.Gravatar Pierre-Marie Pédrot2017-06-16
* 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