aboutsummaryrefslogtreecommitdiff
path: root/printing/ppconstr.mli
AgeCommit message (Expand)Author
2017-11-13[api] Insert miscellaneous API deprecation back to core.Emilio Jesus Gallego Arias
2017-11-02Exporting the level-parametric printer of constr and its variants.Hugo Herbelin
2017-11-02Removing a redundancy in naming types (Ppconstr.precedence = tolerability).Hugo Herbelin
2017-08-29A new step of restructuration of notations.Hugo Herbelin
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-25[location] Remove Loc.ghost.Emilio Jesus Gallego Arias
2017-03-24Renaming local_binder into local_binder_expr.Hugo Herbelin
2017-03-21[pp] Remove unused printing tagging infrastructure.Emilio Jesus Gallego Arias
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-11-10Plug the dynamic tags in the Richpp mechanism.Pierre-Marie Pédrot
2014-11-05lib/RichPp: Rename into Richpp.Yann Régis-Gianas
2014-11-04Ppvernac: Publish new rich pretty-printer.Regis-Gianas
2014-11-04Ppannotation: New.Regis-Gianas
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2012-12-18Modulification of nameppedrot
2012-12-14Modulification of identifierppedrot
2012-08-08Updating headers.herbelin
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-19Fixing some inconsistencies of constr printer wrt constr parserherbelin
2012-05-29place all pretty-printing files in new dir printing/letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 02:03:03 +0000