aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/xml_printer.ml
Commit message (Expand)AuthorAge
* Fixing bug #4281: Better escaping of XML attributes.Gravatar Pierre-Marie Pédrot2015-07-28
* Update headers.Gravatar Maxime Dénès2015-01-12
* lib/Xml_printer: Handle non-breakable spaces.Gravatar Regis-Gianas2014-11-04
* Xml_datatype.gxml: New type for semi-structured documents.Gravatar Regis-Gianas2014-11-04
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06