| Mon, 04 Mar 2024 21:46:21 +0100 | wenzelm | clarified module signature and state; | changeset | files |
| Mon, 04 Mar 2024 21:22:22 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 04 Mar 2024 21:18:24 +0100 | wenzelm | omit somewhat pointless message, following b7187d4cdf68; | changeset | files |
| Mon, 04 Mar 2024 20:49:46 +0100 | wenzelm | more robust handling of uninitialized value, notably Build_Process.progress; | changeset | files |
| Mon, 04 Mar 2024 19:14:16 +0100 | nipkow | tuned | changeset | files |
| Mon, 04 Mar 2024 16:20:57 +0100 | Fabian Huch | partially revert f1f08ca40d96: benchmark data needs to be present before timing data is loaded; | changeset | files |
| Mon, 04 Mar 2024 13:55:11 +0100 | wenzelm | clarified module signature and state; | changeset | files |
| Mon, 04 Mar 2024 13:44:11 +0100 | wenzelm | tuned signature: more protected operations; | changeset | files |