| Thu, 02 Nov 2023 11:57:40 +0100 | wenzelm | clarified signature: explicit Progress date; | changeset | files |
| Thu, 02 Nov 2023 10:29:24 +0100 | wenzelm | more uniform progress; | changeset | files |
| Thu, 02 Nov 2023 10:23:28 +0100 | wenzelm | more robust: support concurrent output; | changeset | files |
| Thu, 02 Nov 2023 10:12:12 +0100 | wenzelm | disable multi-builds (again): does not quite work yet; | changeset | files |
| Tue, 31 Oct 2023 17:32:56 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 31 Oct 2023 17:24:19 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 31 Oct 2023 17:01:19 +0100 | wenzelm | clarified SEQ: more sequential evaluation to support multiple tests (see also 5c91bd51fc37); | changeset | files |