| Tue, 31 Jan 2023 14:59:19 +0100 | wenzelm | defer build until document nodes are ready; | file | diff | annotate |
| Wed, 18 Jan 2023 16:15:41 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 18 Jan 2023 16:04:51 +0100 | wenzelm | more efficient, thanks to persistent lazy data in Document.Node; | file | diff | annotate |
| Wed, 18 Jan 2023 11:32:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Jan 2023 16:43:51 +0100 | wenzelm | tuned signature: more uniform operations; | file | diff | annotate |
| Fri, 06 Jan 2023 15:35:48 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 06 Jan 2023 14:59:59 +0100 | wenzelm | unused; | file | diff | annotate |
| Thu, 05 Jan 2023 22:16:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 05 Jan 2023 20:13:04 +0100 | wenzelm | more robust; | file | diff | annotate |
| Thu, 05 Jan 2023 20:07:22 +0100 | wenzelm | more operations; | file | diff | annotate |
| Thu, 05 Jan 2023 19:41:12 +0100 | wenzelm | proper Node.init_blobs, not just edits (amending ca872f20cf5b); | file | diff | annotate |
| Thu, 05 Jan 2023 17:00:22 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 05 Jan 2023 16:44:15 +0100 | wenzelm | clarified session sources: theory and blobs are read from database, instead of physical file-system; | file | diff | annotate |
| Wed, 04 Jan 2023 14:56:22 +0100 | wenzelm | tuned signature; | file | diff | annotate |