src/Pure/Build/build_benchmark.scala
Thu, 22 Feb 2024 13:57:13 +0100 wenzelm clarified signature;
Wed, 21 Feb 2024 19:36:53 +0100 wenzelm build local log_db, with store/restore via optional database server;
Sun, 18 Feb 2024 13:01:00 +0100 wenzelm tuned: afford untyped/unscoped update;
Sat, 17 Feb 2024 21:28:28 +0100 wenzelm tuned: afford untyped/unscoped update;
Sat, 17 Feb 2024 15:20:38 +0100 wenzelm clarified signature: more standard defaults;
Sat, 17 Feb 2024 15:04:53 +0100 wenzelm clarified signature;
Sat, 17 Feb 2024 15:00:46 +0100 wenzelm tuned;
Sat, 17 Feb 2024 14:48:32 +0100 wenzelm clarified signature: prefer default;
Fri, 16 Feb 2024 10:45:24 +0100 wenzelm tuned comments;
Fri, 16 Feb 2024 10:31:50 +0100 wenzelm clarified signature;
Thu, 15 Feb 2024 12:57:19 +0100 wenzelm prefer static object, while class is required for "services" (see 47eb96592aa2);
Thu, 15 Feb 2024 12:48:25 +0100 wenzelm clarified directories;
less more (0) tip