| 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
|
| Mon, 04 Apr 2022 23:50:40 +0200 |
wenzelm |
tuned: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2022 23:33:14 +0200 |
wenzelm |
clarified signature: avoid ambiguity in scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:19:05 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 15:53:45 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2020 16:30:17 +0100 |
wenzelm |
clarified signature: name according to db model without Sessions.Structure/Deps;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 17:57:20 +0100 |
wenzelm |
more completion;
|
file |
diff |
annotate
|