Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump year in headers. | 2017-07-04 | |
| | |||
* | xml_printer: use sensible names for putc and puts | 2016-09-05 | |
| | | | | They used to be called output and output' ... | ||
* | Move ide serialization libraries from lib/ to ide/ | 2016-06-02 | |
This makes the core free from particular protocol choices. It should help with the ppx serialization project and shrinks clib.cma a bit. |