| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| Thu, 19 Jan 2023 11:23:44 +0100 | wenzelm | parse citations from raw source, without formal context; | file | diff | annotate |
| Tue, 03 Jan 2023 21:18:15 +0100 | wenzelm | more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path; | file | diff | annotate |
| Sat, 31 Dec 2022 11:35:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 30 Dec 2022 20:26:28 +0100 | wenzelm | clarified generic path operations; | file | diff | annotate |
| Fri, 19 Aug 2022 16:46:00 +0200 | wenzelm | clarified signature: support for adhoc file types; | file | diff | annotate |