| Mon, 16 Nov 2020 13:11:15 +0100 | wenzelm | refer to HTML symbols via resources; | file | diff | annotate |
| Sun, 15 Nov 2020 22:04:16 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 15 Nov 2020 22:00:45 +0100 | wenzelm | refer to session structure from resources; | file | diff | annotate |