Fri, 24 Nov 2023 21:54:30 +0100 |
wenzelm |
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
|
file |
diff |
annotate
|
Fri, 24 Nov 2023 21:32:32 +0100 |
wenzelm |
clarified buffer_size;
|
file |
diff |
annotate
|
Fri, 24 Nov 2023 20:58:12 +0100 |
wenzelm |
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
|
file |
diff |
annotate
|
Fri, 24 Nov 2023 15:58:24 +0100 |
wenzelm |
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
|
file |
diff |
annotate
|
Fri, 24 Nov 2023 14:11:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Wed, 02 Jan 2019 20:20:01 +0100 |
wenzelm |
more robust system channel via options that are private to the user;
|
file |
diff |
annotate
|
Thu, 13 Dec 2018 17:37:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 04 Oct 2018 16:40:03 +0200 |
wenzelm |
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
|
file |
diff |
annotate
|
Sat, 05 Aug 2017 15:48:02 +0200 |
wenzelm |
default according to Java API, instead of jEdit usage;
|
file |
diff |
annotate
|
Sun, 14 Feb 2016 13:11:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 13 Feb 2016 21:22:02 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 13 Feb 2016 20:41:56 +0100 |
wenzelm |
clarified bash process -- similar to ML version;
|
file |
diff |
annotate
|
Sun, 11 Jan 2015 20:40:14 +0100 |
wenzelm |
discontinued fifo channel, always use portable socket;
|
file |
diff |
annotate
|
Sat, 10 Jan 2015 16:35:07 +0100 |
wenzelm |
always use socket to test performance and stability;
|
file |
diff |
annotate
|
Thu, 09 Oct 2014 11:15:03 +0200 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
Tue, 12 Aug 2014 17:28:07 +0200 |
wenzelm |
more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
|
file |
diff |
annotate
|
Mon, 14 Oct 2013 19:50:36 +0200 |
wenzelm |
removed dead code (see also db4bf4fb5492);
|
file |
diff |
annotate
|
Wed, 16 Oct 2013 11:48:42 +0200 |
wenzelm |
prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm;
|
file |
diff |
annotate
|
Tue, 01 Oct 2013 12:53:24 +0200 |
wenzelm |
tuned signature -- facilitate experimentation with other processes;
|
file |
diff |
annotate
|
Fri, 05 Jul 2013 23:10:18 +0200 |
wenzelm |
more uniform Counter in ML and Scala;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 15:00:48 +0100 |
wenzelm |
immediate theory progress for build_dialog;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 10:55:36 +0200 |
wenzelm |
clarified platform dependency;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 21:04:03 +0200 |
wenzelm |
further imitation of "usedir" shell script;
|
file |
diff |
annotate
|
Sat, 22 Oct 2011 23:30:02 +0200 |
wenzelm |
more private stuff;
|
file |
diff |
annotate
|
Sat, 22 Oct 2011 19:00:03 +0200 |
wenzelm |
class Counter as abstract datatype;
|
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 13:44:31 +0200 |
wenzelm |
explicit option for socket vs. fifo communication;
|
file |
diff |
annotate
|
Wed, 21 Sep 2011 22:18:17 +0200 |
wenzelm |
alternative Socket_Channel;
|
file |
diff |
annotate
|
Wed, 21 Sep 2011 20:35:50 +0200 |
wenzelm |
more abstract wrapping of fifos as System_Channel;
|
file |
diff |
annotate
|