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 |