| Mon, 13 Mar 2023 15:35:15 +0100 | wenzelm | more accurate Sessions.Info.session_prefs: cover relative changes wrt. statically declared options; | changeset | files |
| Mon, 13 Mar 2023 15:09:08 +0100 | wenzelm | clarified signature: more explicit type Options.Spec, which incorporates all variants of Options.+; | changeset | files |
| Mon, 13 Mar 2023 13:46:36 +0100 | wenzelm | tuned output; | changeset | files |