| Wed, 06 Jul 2011 20:46:06 +0200 | wenzelm | prefer Synchronized.var; | changeset | files |
| Wed, 06 Jul 2011 20:14:13 +0200 | wenzelm | tuned errors; | changeset | files |
| Wed, 06 Jul 2011 13:31:12 +0200 | wenzelm | record package: proper configuration options; | changeset | files |