src/Pure/Tools/build_process.scala
Fri, 21 Jul 2023 10:56:11 +0200 wenzelm clarified modules;
Thu, 20 Jul 2023 12:55:47 +0200 wenzelm more pro-forma support for afp_root;
Thu, 20 Jul 2023 12:02:52 +0200 wenzelm more pro-forma support for Build_Cluster;
Wed, 19 Jul 2023 16:04:59 +0200 wenzelm clarified options;
Wed, 19 Jul 2023 13:29:18 +0200 wenzelm clarified options: accommodate potentially slow database connection;
Wed, 19 Jul 2023 10:42:40 +0200 wenzelm proforma support for remote build hosts;
less more (0) -100 -30 -10 -6 tip