# HG changeset patch
# User wenzelm
# Date 1710410603 -3600
# Node ID 80487bd008203b378a754ba18bab9e74b795c27c
# Parent  b187c1b9d6a9353901d3c49ed58ebacc6b16d609
update NEWS + CONTRIBUTORS for release;

diff -r b187c1b9d6a9 -r 80487bd00820 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Mar 13 18:39:41 2024 +0000
+++ b/CONTRIBUTORS	Thu Mar 14 11:03:23 2024 +0100
@@ -7,7 +7,7 @@
 --------------------------------------
 
 * 2023/2024: Makarius Wenzel and Fabian Huch
-  More support for distributed build clusters.
+  More robust and scalable support for distributed build clusters.
 
 * October 2023: Fabian Huch
   Support for SMTP mailing.
diff -r b187c1b9d6a9 -r 80487bd00820 NEWS
--- a/NEWS	Wed Mar 13 18:39:41 2024 +0000
+++ b/NEWS	Thu Mar 14 11:03:23 2024 +0100
@@ -147,6 +147,11 @@
 
 *** System ***
 
+* More robust and scalable support for distributed build clusters, based
+on SSH and PostgreSQL. This includes advanced scheduling as follows:
+
+  isabelle build -o build_engine=build_schedule -H host1 -H host2
+
 * The command-line tool "isabelle build" now uses default 0 (instead of
 1) for option -j. This means that "isabelle build -H" will initialize
 the build queue and oversee remote workers, but not run any Isabelle