| Mon, 13 Mar 2023 16:53:08 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 13 Mar 2023 15:53:31 +0100 | wenzelm | clarified signature: prefer explicit types; | changeset | files |
| 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 |
| Mon, 13 Mar 2023 13:43:25 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Mon, 13 Mar 2023 13:20:35 +0100 | wenzelm | clarified signature: prefer static types; | changeset | files |