Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removing handshake from Spawn. It used marshalling, which is bad for | 2014-04-09 | |
* | Relaunch all Unix.waitpid when they ended with EINTR | 2014-01-30 | |
* | Spawn: managed processes | 2014-01-26 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removing handshake from Spawn. It used marshalling, which is bad for | 2014-04-09 | |
* | Relaunch all Unix.waitpid when they ended with EINTR | 2014-01-30 | |
* | Spawn: managed processes | 2014-01-26 |