src/Pure/Build/build_cluster.scala
Sun, 15 Jun 2025 23:09:43 +0200 wenzelm tuned message;
Sun, 15 Jun 2025 15:19:03 +0200 wenzelm clarified signature: more modular, avoid adhoc mixins;
Sat, 14 Jun 2025 21:19:37 +0200 wenzelm clarified signature;
less more (0) -10 -3 tip