| Sat, 04 Mar 2023 23:25:30 +0100 | wenzelm | clarified signature: manage "verbose" flag via "progress"; | changeset | files |
| Sat, 04 Mar 2023 22:29:21 +0100 | wenzelm | clarified treatment of "verbose" messages, e.g. Progress.theory(); | changeset | files |
| Sat, 04 Mar 2023 21:41:16 +0100 | wenzelm | proper "val verbose" (amending 2e2b2bd6b2d2); | changeset | files |
| Sat, 04 Mar 2023 21:25:12 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 04 Mar 2023 17:36:29 +0100 | wenzelm | more robust signature: avoid totally adhoc overriding (see also Build_Process.progress vs. build_progress); | changeset | files |
| Sat, 04 Mar 2023 16:45:21 +0100 | wenzelm | support progress backed by database; | changeset | files |
| Sat, 04 Mar 2023 16:15:50 +0100 | wenzelm | tuned; | changeset | files |