| Sun, 20 Sep 2020 19:36:45 +0200 | wenzelm | misc tuning and clarification: prefer functions over data; | changeset | files |
| Sun, 20 Sep 2020 12:21:54 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 20 Sep 2020 12:18:50 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sun, 20 Sep 2020 11:42:48 +0200 | wenzelm | tuned messages; | changeset | files |
| Sun, 20 Sep 2020 11:32:58 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 20 Sep 2020 15:45:25 +0100 | paulson | merged | changeset | files |
| Sun, 20 Sep 2020 15:45:14 +0100 | paulson | de-applying and simplifying | changeset | files |