aboutsummaryrefslogtreecommitdiffhomepage
path: root/API/API.ml
Commit message (Expand)AuthorAge
* [api] Remove type equalities from API.Gravatar Emilio Jesus Gallego Arias2017-07-25
* [api] Put modules in order in API.{mli,ml}Gravatar Emilio Jesus Gallego Arias2017-07-25
* Merge PR #770: [proof] Move bullets to their own module.Gravatar Maxime Dénès2017-07-19
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* | Merge PR#803: Clean ssrGravatar Maxime Dénès2017-06-20
|\ \
| * | Removing Proof_type from the API.Gravatar Pierre-Marie Pédrot2017-06-16
* | | Squashed commit of the following:Gravatar Amin Timany2017-06-16
|/ /
| * [proof] Move bullets to their own module.Gravatar Emilio Jesus Gallego Arias2017-06-12
|/
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07