| Sat, 01 Jul 2023 16:42:57 +0200 | wenzelm | clarified static Build_Process.Context vs. dynamic Build_Process.State; | changeset | files |
| Sat, 01 Jul 2023 16:32:46 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Sat, 01 Jul 2023 16:27:34 +0200 | wenzelm | clarified signature: proper equals/hashCode; | changeset | files |