Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Mon, 10 Dec 2018 20:20:24 +0100 |
wenzelm |
clarified modules, following bytes.scala;
|
file |
diff |
annotate
|
Mon, 10 Dec 2018 20:00:02 +0100 |
wenzelm |
clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 11:12:02 +0100 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
Thu, 20 Aug 2015 13:41:53 +0200 |
wenzelm |
precise BinIO, without newline conversion on Windows;
|
file |
diff |
annotate
|
Sun, 11 Jan 2015 20:40:14 +0100 |
wenzelm |
discontinued fifo channel, always use portable socket;
|
file |
diff |
annotate
|
Wed, 16 Oct 2013 18:48:37 +0200 |
wenzelm |
clarified workaround: problem is potential blocking of vacuous input (see also Poly/ML SVN 1874);
|
file |
diff |
annotate
|
Wed, 16 Oct 2013 12:04:38 +0200 |
wenzelm |
avoid empty input and its adverse effect on socket communication, e.g. output message getting "stuck" after vacuous update due to Session.update_options;
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 12:41:53 +0100 |
wenzelm |
recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;
|
file |
diff |
annotate
|
Mon, 17 Oct 2011 11:24:22 +0200 |
wenzelm |
always use sockets on Windows/Cygwin;
|
file |
diff |
annotate
|
Fri, 23 Sep 2011 14:59:29 +0200 |
wenzelm |
raw unbuffered socket IO, which bypasses the fragile BinIO layer in Poly/ML 5.4.x;
|
file |
diff |
annotate
|
Thu, 22 Sep 2011 20:33:08 +0200 |
wenzelm |
abstract System_Channel in ML (cf. Scala version);
|
file |
diff |
annotate
|