Wed, 21 Sep 2011 22:18:17 +0200 | wenzelm | alternative Socket_Channel; | changeset | files |
Wed, 21 Sep 2011 20:35:50 +0200 | wenzelm | more abstract wrapping of fifos as System_Channel; | changeset | files |
Wed, 21 Sep 2011 17:50:25 +0200 | wenzelm | slightly more general Socket_IO as part of Pure; | changeset | files |