| Tue, 08 Dec 2009 12:10:55 +0100 | wenzelm | manipulate document within Swing thread only -- potentially slow; | changeset | files |
| Tue, 08 Dec 2009 12:09:17 +0100 | wenzelm | tuned JVM settings; | changeset | files |
| Mon, 07 Dec 2009 23:01:13 +0100 | wenzelm | misc updates; | changeset | files |