aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/print.ml
Commit message (Expand)AuthorAge
* [checker] Printer cleanup.Gravatar Emilio Jesus Gallego Arias2018-03-07
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [checker] Fix/fine tune printing.Gravatar Emilio Jesus Gallego Arias2016-08-18
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Checker: avoid using obsolete names from NamesGravatar Pierre Letouzey2016-05-31
* 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