src/Pure/Build/export.scala
Tue, 02 Jul 2024 23:13:35 +0200 wenzelm clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
Fri, 28 Jun 2024 16:51:55 +0200 wenzelm minor performance tuning: allow recode operation during YXML parsing;
Tue, 11 Jun 2024 14:18:19 +0200 wenzelm clarified signature;
Sat, 08 Jun 2024 23:17:20 +0200 wenzelm more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
Sun, 10 Mar 2024 10:50:12 +0100 wenzelm tuned signature: more uniform SQL.Data instances;
Mon, 19 Feb 2024 11:07:08 +0100 wenzelm tuned;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip