summaryrefslogtreecommitdiff
path: root/stdlib/out_channel.mli
Commit message (Collapse)AuthorAgeFilesLines
* improving the {In,Out}_channel documentation (#11884)Kiran Gopinathan2023-01-121-27/+53
|
* Remove .0 from all @since, @before and @afterDavid Allsopp2022-10-311-2/+2
|
* Add {In,Out}_channel.isatty (#11128)Nicolás Ojeda Bär2022-06-101-0/+6
|
* Add {In,Out}_channel.with_open_{bin,text,gen} and In_channel.input_all (#10596)Nicolás Ojeda Bär2021-09-291-0/+13
|
* Add `Out_channel.{is,set}_buffered` to control buffering of output channels ↵Nicolás Ojeda Bär2021-09-151-0/+16
| | | | (#10538)
* Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-0/+131