HomeIsabelle/Phabricator

Change Posix.Process.sleep and Posix.Process.pause so that time calculations…

Description

Change Posix.Process.sleep and Posix.Process.pause so that time calculations are made in ML.

Details

Provenance
dcjmAuthored on Jan 26 2019, 7:19 PM
Parents
rPOLYML0663d64835dd: Remove WaitNet and WaitNetSend since all the waiting is done in ML calls to…
Branches
Unknown
Tags
Unknown