| Tue, 31 Jan 2023 19:43:45 +0100 | wenzelm | proper program name, e.g. for session "Intro"; | changeset | files |
| Tue, 31 Jan 2023 19:27:02 +0100 | wenzelm | clarified GUI events: reset everything on session context switch; | changeset | files |
| Tue, 31 Jan 2023 18:03:27 +0100 | wenzelm | clarified GUI events: ensure fresh output when switching pages; | changeset | files |
| Tue, 31 Jan 2023 17:46:16 +0100 | wenzelm | clarified GUI: avoid odd jumping pages on "Cancel"; | changeset | files |
| Tue, 31 Jan 2023 17:35:59 +0100 | wenzelm | clarified GUI events; | changeset | files |
| Tue, 31 Jan 2023 17:21:46 +0100 | wenzelm | more accurate output: avoid output_body from last run; | changeset | files |
| Tue, 31 Jan 2023 17:17:07 +0100 | wenzelm | more accurate output: avoid output_main from last run; | changeset | files |