src/Pure/System/system_channel.scala
Sat, 10 Jan 2015 16:35:07 +0100 wenzelm always use socket to test performance and stability;
Thu, 09 Oct 2014 11:15:03 +0200 wenzelm prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
Tue, 12 Aug 2014 17:28:07 +0200 wenzelm more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
Mon, 14 Oct 2013 19:50:36 +0200 wenzelm removed dead code (see also db4bf4fb5492);
Wed, 16 Oct 2013 11:48:42 +0200 wenzelm prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm;
Tue, 01 Oct 2013 12:53:24 +0200 wenzelm tuned signature -- facilitate experimentation with other processes;
Fri, 05 Jul 2013 23:10:18 +0200 wenzelm more uniform Counter in ML and Scala;
Sat, 12 Jan 2013 15:00:48 +0100 wenzelm immediate theory progress for build_dialog;
Thu, 04 Oct 2012 10:55:36 +0200 wenzelm clarified platform dependency;
Fri, 20 Jul 2012 22:29:25 +0200 wenzelm more explicit java.io.{File => JFile};
Fri, 20 Jul 2012 21:04:03 +0200 wenzelm further imitation of "usedir" shell script;
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