| Tue, 07 Mar 2023 10:57:50 +0100 | wenzelm | clarified terminology of "session build database", while "build database" is the one underlying Build_Process; | changeset | files |
| Tue, 07 Mar 2023 10:16:24 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 06 Mar 2023 21:12:47 +0100 | wenzelm | clarified signature: reduce boilerplate; | changeset | files |
| Mon, 06 Mar 2023 19:37:32 +0100 | wenzelm | clarified messages; | changeset | files |