| 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 |