src/Pure/System/system_channel.scala
Sat, 22 Oct 2011 23:30:02 +0200 wenzelm more private stuff;
Sat, 22 Oct 2011 19:00:03 +0200 wenzelm class Counter as abstract datatype;
Mon, 17 Oct 2011 11:24:22 +0200 wenzelm always use sockets on Windows/Cygwin;
Fri, 23 Sep 2011 13:44:31 +0200 wenzelm explicit option for socket vs. fifo communication;
Wed, 21 Sep 2011 22:18:17 +0200 wenzelm alternative Socket_Channel;
Wed, 21 Sep 2011 20:35:50 +0200 wenzelm more abstract wrapping of fifos as System_Channel;
less more (0) tip