| Sun, 02 Jul 2023 15:39:51 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 02 Jul 2023 15:25:12 +0200 | wenzelm | more SQL data; | changeset | files |
| Sun, 02 Jul 2023 14:28:20 +0200 | desharna | add proof method "order" to command "try0" | changeset | files |
| Sat, 01 Jul 2023 16:47:52 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Fri, 30 Jun 2023 16:26:03 +0200 | wenzelm | more robust database setup; | changeset | files |