| Wed, 26 Feb 2020 14:47:36 +0100 | wenzelm | obsolete; | changeset | files |
| Wed, 26 Feb 2020 14:43:43 +0100 | wenzelm | proper message passing -- discontinued obsolete auxiliary commands; | changeset | files |
| Tue, 25 Feb 2020 21:28:06 +0100 | wenzelm | clarified Panel; | changeset | files |