aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/pputils.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [cleanup] Unify all calls to the error function.Gravatar Emilio Jesus Gallego Arias2017-05-27
* [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Use located in misctypes.Gravatar Emilio Jesus Gallego Arias2017-04-24
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-18
|\
| * [toplevel] Remove duplicate beautify flags.Gravatar Emilio Jesus Gallego Arias2016-10-17
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-12
|\|
| * Moving Pp.comments to CLexer so that Pp is purer (no more side-effectGravatar Hugo Herbelin2016-10-09
* | 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
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04