src/Pure/Tools/build_process.scala
Mon, 20 Feb 2023 16:36:03 +0100 wenzelm clarified signature: move all parameters into Build_Process.Context;
Mon, 20 Feb 2023 11:38:21 +0100 wenzelm clarified signature;
Mon, 20 Feb 2023 11:34:31 +0100 wenzelm more elementary data structures, to fit better to SQL database;
Mon, 20 Feb 2023 10:51:16 +0100 wenzelm clarified signature (see also 68a7ad1385bc);
Mon, 20 Feb 2023 10:29:45 +0100 wenzelm clarified modules;
Mon, 13 Feb 2023 22:24:34 +0100 wenzelm clarified types: support a variety of Build_Job instances;
Mon, 13 Feb 2023 13:26:43 +0100 wenzelm clarified signature: more explicit synchronized operations;
less more (0) -30 -10 -7 tip