Tue, 16 Nov 2021 17:57:52 +0100 | wenzelm | less ambitious parallelism: more direct read/write saves overall heap space and GC time; | changeset | files |
Tue, 16 Nov 2021 16:39:49 +0100 | wenzelm | slightly faster XML output: avoid too much regrowing of StringBuilder; | changeset | files |
Mon, 15 Nov 2021 23:52:08 +0100 | wenzelm | updated NEWS: arm64-linux support is almost complete; | changeset | files |