aboutsummaryrefslogtreecommitdiffhomepage
path: root/intf/pattern.ml
Commit message (Expand)AuthorAge
* Use r.(p) syntax to print primitive projections.Gravatar Maxime Dénès2018-01-30
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* [general] Remove Econstr dependency from `intf`Gravatar Emilio Jesus Gallego Arias2017-10-25
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07