| Thu, 15 Oct 2015 13:48:47 +0200 | wenzelm | more comments; | changeset | files |
| Thu, 15 Oct 2015 13:28:48 +0200 | wenzelm | unused -- avoid confusion in Symbols dockable; | changeset | files |
| Thu, 15 Oct 2015 13:28:36 +0200 | wenzelm | proper nesting of adjacent lists; | changeset | files |