src/Pure/System/system_channel.ML
2011-10-17 wenzelm 2011-10-17 always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
2011-09-23 wenzelm 2011-09-23 raw unbuffered socket IO, which bypasses the fragile BinIO layer in Poly/ML 5.4.x;
2011-09-22 wenzelm 2011-09-22 abstract System_Channel in ML (cf. Scala version); back to TextIO for fifo, which is more stable in Poly/ML 5.4.x; explicit block buffering -- BinIO might be subject to old Poly/ML defaults;