aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/genprint.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Extending further PR#6047 (system to register printers for Ltac values).Gravatar Hugo Herbelin2017-11-24
* Setting a system to register printers for Ltac values.Gravatar Hugo Herbelin2017-11-02
* Using a specific function to register vernac printers.Gravatar Hugo Herbelin2017-11-02
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Unplugging Pptactic from Ppvernac.Gravatar Pierre-Marie Pédrot2016-09-08
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21