| 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 |
| Sat, 04 Mar 2023 12:59:22 +0100 | wenzelm | tuned messages; | changeset | files |
| Sat, 04 Mar 2023 12:43:35 +0100 | wenzelm | clarified signature: require just one "override def echo(message: Progress.Message): Unit"; | changeset | files |
| Sat, 04 Mar 2023 12:16:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 04 Mar 2023 12:14:20 +0100 | wenzelm | tuned signature; | changeset | files |