src/Pure/System/system_channel.scala
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-07-20 wenzelm 2012-07-20 further imitation of "usedir" shell script; Pure/build observes build_images option, unlike traditional version; tuned signature;
2011-10-22 wenzelm 2011-10-22 more private stuff;
2011-10-22 wenzelm 2011-10-22 class Counter as abstract datatype;
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 explicit option for socket vs. fifo communication;
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;