Wed, 04 Jan 2023 15:42:00 +0100 | wenzelm | more direct access to session_sources, without somewhat fragile file-system operations; | changeset | files |
Wed, 04 Jan 2023 15:02:48 +0100 | wenzelm | tuned; | changeset | files |
Wed, 04 Jan 2023 14:56:22 +0100 | wenzelm | tuned signature; | changeset | files |
Wed, 04 Jan 2023 14:50:11 +0100 | wenzelm | tuned signature: avoid confusion with Document.Node.Blob and Command.Blob; | changeset | files |
Wed, 04 Jan 2023 14:35:19 +0100 | wenzelm | clarified signature: old node is ignored; | changeset | files |
Wed, 04 Jan 2023 14:26:30 +0100 | wenzelm | tuned; | changeset | files |
Wed, 04 Jan 2023 13:39:40 +0100 | wenzelm | clarified signature; | changeset | files |