src/Pure/Build/build.scala
Thu, 15 Feb 2024 13:00:56 +0100 wenzelm tuned whitespace;
Thu, 15 Feb 2024 12:57:19 +0100 wenzelm prefer static object, while class is required for "services" (see 47eb96592aa2);
Thu, 15 Feb 2024 11:33:36 +0100 wenzelm more robust type, with explicit default;
Thu, 15 Feb 2024 10:32:36 +0100 wenzelm tuned usage message;
Thu, 15 Feb 2024 10:15:28 +0100 wenzelm clarified signature;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip