src/Pure/System/system_channel.scala
2011-09-21 wenzelm 2011-09-21 alternative Socket_Channel; use BinIO for fifos uniformly;
2011-09-21 wenzelm 2011-09-21 more abstract wrapping of fifos as System_Channel;