| Wed, 01 Mar 2023 20:21:09 +0100 | wenzelm | clarified signature: prefer static data; | changeset | files |
| Wed, 01 Mar 2023 19:48:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Mar 2023 19:41:45 +0100 | wenzelm | identify Build_Process.Context.instance with Sessions.Build_Info (see also ff164add75cd); | changeset | files |
| Wed, 01 Mar 2023 19:30:35 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Mar 2023 19:18:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Mar 2023 19:13:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Mar 2023 16:01:01 +0100 | wenzelm | tuned; | changeset | files |