| Sun, 19 Feb 2023 13:43:38 +0100 | wenzelm | unused; | changeset | files |
| Sun, 19 Feb 2023 13:37:38 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Feb 2023 22:40:29 +0100 | wenzelm | clarified signature defaults; | changeset | files |
| Mon, 13 Feb 2023 22:24:34 +0100 | wenzelm | clarified types: support a variety of Build_Job instances; | changeset | files |
| Mon, 13 Feb 2023 13:26:43 +0100 | wenzelm | clarified signature: more explicit synchronized operations; | changeset | files |
| Mon, 13 Feb 2023 12:47:55 +0100 | wenzelm | clarified signature: more explicit synchronized operations; | changeset | files |
| Mon, 13 Feb 2023 12:36:49 +0100 | wenzelm | clarified modules (again); | changeset | files |