NEWS
changeset 79647 b7187d4cdf68
parent 79612 8836386d6e3f
child 79667 d4c077078497
--- a/NEWS	Sat Feb 17 15:33:01 2024 +0100
+++ b/NEWS	Sat Feb 17 16:56:55 2024 +0100
@@ -100,6 +100,12 @@
 
 *** System ***
 
+* 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
+sessions on its own account. INCOMPATIBILITY, use "isabelle build -j1
+-H" for the old behaviour, to have the local host participate as worker.
+
 * Directory src/Tools/Demo provides an Isabelle system component with
 command-line tool that is implemented in Isabelle/Scala. It serves as
 demonstration for user-defined tools.