Wed, 04 Jan 2023 16:40:02 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
Wed, 04 Jan 2023 16:06:46 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
Wed, 04 Jan 2023 15:53:36 +0100 | wenzelm | tuned; | changeset | files |
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 |