| Tue, 18 Feb 2014 20:37:45 +0100 | wenzelm | proper term equality; | changeset | files |
| Tue, 18 Feb 2014 20:32:58 +0100 | wenzelm | tuned message; | changeset | files |
| Tue, 18 Feb 2014 20:20:42 +0100 | wenzelm | more uniform treatment of dockables and their standard actions; | changeset | files |