| Commit message (Expand) | Author | Age | Files | Lines |
* | Sync stdlib docs | Nicolás Ojeda Bär | 2023-03-15 | 1 | -19/+23 |
* | Documentation-only: Add Windows specifics for `process_status` type (#12067) | shym | 2023-03-03 | 1 | -1/+9 |
* | Improve documentation of exec* functions (#11754) (#11892) | Boris Yakobowski | 2023-01-20 | 1 | -0/+7 |
* | Remove .0 from all @since, @before and @after | David Allsopp | 2022-10-31 | 1 | -21/+21 |
* | Sync unixLabels.mli | Nicolás Ojeda Bär | 2022-10-11 | 1 | -1/+1 |
* | Fix the type of Unix.umask to `Unix.file_perm -> Unix.file_perm` | favonia | 2022-08-08 | 1 | -1/+1 |
* | Revert incorrect marking of socketpair as unimplemented on Windows (#11452) | Olivier Nicole | 2022-07-22 | 1 | -3/+1 |
* | fix doc of Unix.map_file (#11136) | Fardale | 2022-03-25 | 1 | -2/+2 |
* | Make notices about lack of Windows support simpler and consistent | Martin Jambon | 2022-02-17 | 1 | -30/+38 |
* | Printexc.catch, Printf.kprintf, Unix.SO_ERROR: add deprecation warning (#10924) | Nicolás Ojeda Bär | 2022-01-21 | 1 | -1/+3 |
* | Replace Stdlib.stdout with Unix.stdout in doc of Unix.create_process | Antonin Décimo | 2021-11-19 | 1 | -1/+1 |
* | Support Unix domain sockets on Windows | Antonin Décimo | 2021-06-22 | 1 | -1/+2 |
* | Address a first round of comments. | Daniel Bünzli | 2021-03-25 | 1 | -1/+1 |
* | Add Unix.realpath. | Daniel Bünzli | 2021-03-25 | 1 | -0/+5 |
* | Merge pull request #10165 from johnwhitington/split-exten-dot-etex | Florian Angeletti | 2021-02-01 | 1 | -1/+1 |
|\ |
|
| * | More manual/src changes | John Whitington | 2021-01-29 | 1 | -1/+1 |
* | | unix: sync documentation | octachron | 2021-02-01 | 1 | -22/+53 |
|/ |
|
* | Renew table of Win32-incompatible functions in Unix (#10116) | John Whitington | 2021-01-04 | 1 | -3/+10 |
* | Unix.open_process_args*: look up program in PATH (#10084) | Nicolás Ojeda Bär | 2020-12-21 | 1 | -17/+21 |
* | Put Unix.SO_REUSEPORT at the end of variant | David Allsopp | 2020-12-07 | 1 | -1/+1 |
* | Merge pull request #9745 from johnwhitington/trunk | Florian Angeletti | 2020-09-15 | 1 | -227/+546 |
|\ |
|
| * | Remove false self-references | John Whitington | 2020-09-11 | 1 | -3/+3 |
| * | Merge remote-tracking branch 'upstream/trunk' into trunk | John Whitington | 2020-09-11 | 1 | -0/+1 |
| |\ |
|
| * | | Rename tools/unlabel --> tools/sync_stdlib_docs | John Whitington | 2020-09-10 | 1 | -11/+12 |
| * | | Final nits | David Allsopp | 2020-08-07 | 1 | -2/+2 |
| * | | "final" fixes | John Whitington | 2020-08-06 | 1 | -34/+51 |
| * | | remove double @sinces | John Whitington | 2020-08-03 | 1 | -14/+7 |
| * | | Small fixes from @dra27's comments | John Whitington | 2020-08-03 | 1 | -1/+1 |
| * | | Remove unneeded comment, typo | John Whitington | 2020-08-01 | 1 | -5/+0 |
| * | | Fix label warnings | John Whitington | 2020-07-31 | 1 | -7/+7 |
| * | | Better, simpler, removal of unix type aliases | John Whitington | 2020-07-30 | 1 | -1/+1 |
| * | | Labeled and unlabeled @sinces automatically | John Whitington | 2020-07-30 | 1 | -7/+14 |
| * | | Fix smaller review comments from @dra27 | John Whitington | 2020-07-30 | 1 | -41/+53 |
| * | | Tildes back in labeled modules | John Whitington | 2020-07-29 | 1 | -13/+13 |
| * | | {!Unix.xxx} changed to {!xxx} in docstrings | John Whitington | 2020-07-23 | 1 | -96/+96 |
| * | | Fixes per check-typo failure | John Whitington | 2020-07-18 | 1 | -12/+18 |
| * | | Unify unixLabels.mli / unix.mli via tools/unlabel | John Whitington | 2020-07-17 | 1 | -189/+477 |
* | | | Export, document, and use Unix._exit (#9914) | Xavier Leroy | 2020-09-14 | 1 | -0/+20 |
| |/
|/| |
|
* | | Add Unix.SO_REUSEPORT (#9869) | Yishuai Li | 2020-09-02 | 1 | -0/+1 |
|/ |
|
* | fix msg_flag type doc comment | zapashcanon | 2020-03-19 | 1 | -1/+1 |
* | fix sockaddr type doc comment | zapashcanon | 2020-03-19 | 1 | -1/+1 |
* | documentation: use Bigarray consistently (#2208) | Florian Angeletti | 2018-12-20 | 1 | -10/+10 |
* | Deprecate Pervasives (#1605) | Jérémie Dimino | 2018-08-27 | 1 | -3/+3 |
* | GPR#1061 check-typo compliance | David Allsopp | 2018-07-01 | 1 | -1/+2 |
* | Add ~follow option to Unix.link (#1061) | madroach | 2018-06-25 | 1 | -3/+12 |
* | Whitespace and overlong line fixes. | David Allsopp | 2018-06-14 | 1 | -1/+2 |
* | Fix docstring of stats.st_rdev in Unix modules | Gabor Igloi | 2018-06-07 | 1 | -2/+2 |
* | Unix: add open_process_args{,_in,_out,_full} (#1792) | Nicolás Ojeda Bär | 2018-05-24 | 1 | -0/+35 |
* | Move bigarray to the stdlib (#1685) | Jérémie Dimino | 2018-04-09 | 1 | -3/+3 |
* | getpw* and getgr* functions raise Unix_error when interrupted (#1451) | aalekseyev | 2017-12-15 | 1 | -4/+4 |