aboutsummaryrefslogtreecommitdiff
path: root/ide/xml_printer.ml
AgeCommit message (Collapse)Author
2016-09-05xml_printer: use sensible names for putc and putsEnrico Tassi
They used to be called output and output' ...
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
This makes the core free from particular protocol choices. It should help with the ppx serialization project and shrinks clib.cma a bit.