| Mon, 28 May 2012 13:38:07 +0200 | haftmann | dropped sort constraints on datatype specifications | changeset | files |
| Fri, 25 May 2012 17:14:14 +0200 | wenzelm | potentially more convincing kill -TERM of feeder (cf. 32c03d45fffe) -- attempt to workaround spurious perl "hangs" on lxbroy10; | changeset | files |
| Fri, 25 May 2012 13:23:43 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 25 May 2012 13:19:10 +0200 | wenzelm | further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X; | changeset | files |