| Tue, 29 Aug 2023 16:55:49 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 21:36:25 +0100 |
wenzelm |
more operations, thanks to Jsoup;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 21:25:24 +0100 |
wenzelm |
discontinued apache-commons in favour of jsoup, which is smaller and more useful;
|
file |
diff |
annotate
|
| Sun, 11 Dec 2022 13:46:34 +0100 |
wenzelm |
clarified signature: more general operations;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:52:51 +0200 |
wenzelm |
clarified signature: terminology of "base" (here) vs. "root" (there);
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:48:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2022 11:45:14 +0200 |
wenzelm |
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 21:14:01 +0200 |
wenzelm |
clarified signature: just one common operation;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 13 Dec 2021 15:34:40 +0100 |
wenzelm |
more mailing list content;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2021 16:39:49 +0100 |
wenzelm |
slightly faster XML output: avoid too much regrowing of StringBuilder;
|
file |
diff |
annotate
|
| Thu, 11 Nov 2021 13:47:32 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 22:43:29 +0100 |
wenzelm |
avoid multiple copies of fonts;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 22:55:22 +0100 |
wenzelm |
clarified link style: similar to Isabelle/jEdit;
|
file |
diff |
annotate
|