aboutsummaryrefslogtreecommitdiff
path: root/lib/richpp.ml
AgeCommit message (Expand)Author
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-21[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Emilio Jesus Gallego Arias
2016-12-04[pp] Set printing width for richpp formatter (bug #5244)Emilio Jesus Gallego Arias
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-08-15Revert the four previous commits and update the description of Richpp.Pierre-Marie Pédrot
2015-08-15More invariants in Richpp.Pierre-Marie Pédrot
2015-08-15More parametric type for generalized XML.Pierre-Marie Pédrot
2015-08-15Statically ensure that we omit null annotations in Richpp.Pierre-Marie Pédrot
2015-08-15Fixing richpp behaviour w.r.t. its specification.Pierre-Marie Pédrot
2015-02-06More efficient Richpp.Pierre-Marie Pédrot
2015-02-04More efficient implementation of Richpp.Pierre-Marie Pédrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:31:56 +0000