aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/genprint.ml
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
* Removing the untyped representation of genargs.Gravatar Pierre-Marie Pédrot2016-03-19
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Getting rid of the awkward unpack mechanism from Genarg.Gravatar Pierre-Marie Pédrot2016-01-17
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Simplification of Genarg unpackers.Gravatar Pierre-Marie Pédrot2014-08-29
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Adding a default object to generic argument registering mechanism.Gravatar Pierre-Marie Pédrot2014-01-19
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21