Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Pure/General/socket_io.ML
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
Sun, 10 Apr 2016 22:27:05 +0200
wenzelm
tuned comments;
file
|
diff
|
annotate
Wed, 17 Feb 2016 23:06:24 +0100
wenzelm
SML/NJ is no longer supported;
file
|
diff
|
annotate
Wed, 16 Oct 2013 12:14:35 +0200
wenzelm
avoid non-portable int constant -- make SML/NJ happy;
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
Wed, 16 Oct 2013 11:35:04 +0200
wenzelm
basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;
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
Wed, 21 Sep 2011 22:18:17 +0200
wenzelm
alternative Socket_Channel;
file
|
diff
|
annotate
Wed, 21 Sep 2011 17:50:25 +0200
wenzelm
slightly more general Socket_IO as part of Pure;
file
|
diff
|
annotate
less
more
(0)
tip