aboutsummaryrefslogtreecommitdiff
path: root/printing/pputils.mli
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-20Stop accessing proof env via Pfedit in printersMaxime Dénès
2018-12-11[api] Move reduction modules to `tactics`Emilio Jesus Gallego Arias
2018-06-12[api] Remove Misctypes.Emilio Jesus Gallego Arias
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-02-28[toplevel] Move beautify to its own pass.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-22[ast] Improve precision of Ast location recognition in serialization.Emilio Jesus Gallego Arias
2017-11-21[printing] Deprecate all printing functions accessing the global proof.Emilio Jesus Gallego Arias
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-09-08Unplugging Pptactic from Ppvernac.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:59:34 +0000