| Wed, 21 Sep 2011 17:50:25 +0200 | wenzelm | slightly more general Socket_IO as part of Pure; | changeset | files |
| Wed, 21 Sep 2011 16:04:29 +0200 | wenzelm | more hints on Z3 configuration; | changeset | files |
| Wed, 21 Sep 2011 15:08:15 +0200 | wenzelm | reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions); | changeset | files |