wenzelm [Sun, 05 Mar 2023 19:33:01 +0100] rev 77526
tuned output;
wenzelm [Sun, 05 Mar 2023 19:21:07 +0100] rev 77525
clarified database content: store actual value instead of index;
wenzelm [Sun, 05 Mar 2023 18:38:52 +0100] rev 77524
more robust: disallow override;
wenzelm [Sun, 05 Mar 2023 18:20:05 +0100] rev 77523
tuned messages;
wenzelm [Sun, 05 Mar 2023 18:18:09 +0100] rev 77522
more complete coverage of non-final Progress methods, notably for Server.Connection_Progress;
wenzelm [Sun, 05 Mar 2023 16:36:18 +0100] rev 77521
clarified signature: manage "verbose" flag via "progress";
wenzelm [Sun, 05 Mar 2023 16:26:59 +0100] rev 77520
removed unused arguments: avoid ambiguity concerning progress/verbose;
wenzelm [Sun, 05 Mar 2023 16:14:48 +0100] rev 77519
clarified protocol for "verbose" messages;
wenzelm [Sun, 05 Mar 2023 15:34:00 +0100] rev 77518
clarified signature: manage "verbose" flag via "progress";
wenzelm [Sun, 05 Mar 2023 15:25:02 +0100] rev 77517
tuned;