| Tue, 19 Feb 2008 20:34:30 +0100 | wenzelm | added system_out (back to multithreaded version -- still suffers from non-interruptible wait in Poly/ML 5.1); | changeset | files |
| Tue, 19 Feb 2008 20:34:29 +0100 | wenzelm | removed General/system_process.ML (back to multithreaded version); | changeset | files |
| Tue, 19 Feb 2008 20:34:28 +0100 | wenzelm | replaced setpgrp by more elaborate setsid; | changeset | files |