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);