| Mon, 16 Jan 2023 20:08:15 +0100 | wenzelm | more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup; | file | diff | annotate |
| Thu, 22 Dec 2022 15:23:26 +0100 | wenzelm | proper migrate_name between different kinds of Resources, notably for Windows; | file | diff | annotate |