| Wed, 17 Aug 2022 16:03:36 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 17 Aug 2022 15:56:04 +0200 | wenzelm | unused; | changeset | files |
| Wed, 17 Aug 2022 15:49:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 17 Aug 2022 15:44:51 +0200 | wenzelm | clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context; | changeset | files |
| Wed, 17 Aug 2022 15:30:42 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Aug 2022 15:18:17 +0200 | wenzelm | clarified signature: avoid constants from Sessions.Structure within Session.Base; | changeset | files |
| Wed, 17 Aug 2022 14:42:20 +0200 | wenzelm | clarified signature: avoid object-oriented HTML_Context; | changeset | files |