src/Pure/General/socket_io.ML
2011-09-21 wenzelm 2011-09-21 alternative Socket_Channel; use BinIO for fifos uniformly;
2011-09-21 wenzelm 2011-09-21 slightly more general Socket_IO as part of Pure;