| Thu, 01 Sep 2022 10:58:46 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Thu, 01 Sep 2022 10:54:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Sep 2022 10:52:30 +0200 | wenzelm | clarified GUI behaviour; | file | diff | annotate |
| Wed, 31 Aug 2022 20:54:23 +0200 | wenzelm | clarified GUI update; | file | diff | annotate |
| Wed, 31 Aug 2022 20:46:55 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 31 Aug 2022 20:41:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 31 Aug 2022 16:39:18 +0200 | wenzelm | more GUI functionality; | file | diff | annotate |
| Tue, 30 Aug 2022 13:18:33 +0200 | wenzelm | clarified component structure, concerning initialization order; | file | diff | annotate |
| Sat, 13 Aug 2022 23:04:53 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 13 Aug 2022 12:32:38 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Fri, 12 Aug 2022 20:20:53 +0200 | wenzelm | more GUI elements; | file | diff | annotate |
| Fri, 12 Aug 2022 12:50:19 +0200 | wenzelm | basic setup for document build panel; | file | diff | annotate |