| Mon, 14 Oct 2013 19:50:36 +0200 | wenzelm | removed dead code (see also db4bf4fb5492); | changeset | files |
| Wed, 16 Oct 2013 13:02:35 +0200 | wenzelm | Added tag Isabelle2013-1-RC3 for changeset fbcaa9f08879 | changeset | files |
| Wed, 16 Oct 2013 12:14:35 +0200 | wenzelm | avoid non-portable int constant -- make SML/NJ happy; | changeset | files |
| 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; | changeset | files |
| Wed, 16 Oct 2013 11:48:42 +0200 | wenzelm | prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm; | changeset | files |
| Wed, 16 Oct 2013 11:35:04 +0200 | wenzelm | basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely; | changeset | files |