aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssr/ssrelim.ml
Commit message (Expand)AuthorAge
* [printing] Deprecate all printing functions accessing the global proof.Gravatar Emilio Jesus Gallego Arias2017-11-21
* Passing around the flag for injection so that tactics calling inj atGravatar Hugo Herbelin2017-10-26
* [API] Remove `open API` in ml files in favor of `-open API` flag.Gravatar Emilio Jesus Gallego Arias2017-07-17
* Put "ssreflect" behind "API".Gravatar Matej Košík2017-06-07
* Merge the ssr plugin.Gravatar Maxime Dénès2017-06-06