| Tue, 09 Nov 2010 21:52:05 +0100 | wenzelm | private counter, to keep externalized ids a bit smaller; | changeset | files |
| Tue, 09 Nov 2010 21:44:19 +0100 | wenzelm | added general Synchronized.counter convenience; | changeset | files |
| Tue, 09 Nov 2010 21:13:06 +0100 | wenzelm | explicitly identify forked/joined tasks; | changeset | files |