wenzelm [Mon, 13 Mar 2023 21:12:34 +0100] rev 77637
synchronize progress messages with database;
wenzelm [Mon, 13 Mar 2023 20:24:13 +0100] rev 77636
more robust SQL query for mandatory arguments;
wenzelm [Mon, 13 Mar 2023 20:14:19 +0100] rev 77635
synchronize progress stop/stopped with database;
wenzelm [Mon, 13 Mar 2023 19:04:16 +0100] rev 77634
more database content;
wenzelm [Mon, 13 Mar 2023 18:53:14 +0100] rev 77633
tuned whitespace;
wenzelm [Mon, 13 Mar 2023 17:32:29 +0100] rev 77632
tuned signature;
wenzelm [Mon, 13 Mar 2023 17:30:43 +0100] rev 77631
tuned whitespace;
wenzelm [Mon, 13 Mar 2023 17:22:43 +0100] rev 77630
clarified signature: avoid confusion due to object-orientation;
wenzelm [Mon, 13 Mar 2023 16:53:08 +0100] rev 77629
clarified modules;
wenzelm [Mon, 13 Mar 2023 15:53:31 +0100] rev 77628
clarified signature: prefer explicit types;
wenzelm [Mon, 13 Mar 2023 15:35:15 +0100] rev 77627
more accurate Sessions.Info.session_prefs: cover relative changes wrt. statically declared options;
wenzelm [Mon, 13 Mar 2023 15:09:08 +0100] rev 77626
clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+;
wenzelm [Mon, 13 Mar 2023 13:46:36 +0100] rev 77625
tuned output;
wenzelm [Mon, 13 Mar 2023 13:43:25 +0100] rev 77624
clarified signature: more explicit types;
wenzelm [Mon, 13 Mar 2023 13:20:35 +0100] rev 77623
clarified signature: prefer static types;
wenzelm [Mon, 13 Mar 2023 11:02:26 +0100] rev 77622
clarified signature (again, see also 8c64e51d9dde and 268bf61631ec);