aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/print.ml
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Checker: Fix bug #4282Gravatar Matthieu Sozeau2015-07-07
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adapt the checker to polymorphic universes and projections (untested).Gravatar Matthieu Sozeau2014-05-08
* printer for coqchkGravatar Enrico Tassi2014-04-08