src/Pure/Build/resources.scala
Mon, 01 Jul 2024 12:40:54 +0200 wenzelm clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;
Sun, 02 Jun 2024 14:11:09 +0200 wenzelm tuned;
Tue, 05 Mar 2024 16:06:06 +0100 wenzelm prefer dynamic objects, following a5fda30edae2;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip