| Thu, 14 Feb 2013 12:24:42 +0100 | haftmann | abandoned theory Plain | changeset | files |
| Thu, 14 Feb 2013 13:16:47 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 13 Feb 2013 21:53:02 +0100 | wenzelm | clarified default according to etc/options; | changeset | files |
| Wed, 13 Feb 2013 19:52:58 +0100 | wenzelm | Java assumes regular "re-parenting" window manager; | changeset | files |