| Sat, 11 May 2013 16:57:18 +0200 | wenzelm | prefer explicitly qualified exceptions, which is particular important for robust handlers; | file | diff | annotate |
| Fri, 23 Sep 2011 17:23:54 +0200 | wenzelm | discontinued stream-based Socket_IO, which causes too many problems with Poly/ML and SML/NJ (reverting major parts of 5c0b0d67f9b1); | file | diff | annotate |