| 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 |
| Mon, 14 Oct 2013 15:46:35 +0200 | wenzelm | removed junk (cf. 409d7f7247f4); | changeset | files |
| Mon, 14 Oct 2013 15:13:11 +0200 | kuncar | fix a citation | changeset | files |
| Mon, 14 Oct 2013 15:01:41 +0200 | kuncar | declare Quotient_Examples/FSet.thy as almost obsolete | changeset | files |