# HG changeset patch
# User wenzelm
# Date 1699733301 -3600
# Node ID 2d1275c7db99b44dba0c84e1ffa4253ab4a2857e
# Parent  20f2f34a81bd7967507ea73d0be6a5b8c5793124
more NEWS;

diff -r 20f2f34a81bd -r 2d1275c7db99 NEWS
--- a/NEWS	Sat Nov 11 21:06:54 2023 +0100
+++ b/NEWS	Sat Nov 11 21:08:21 2023 +0100
@@ -67,6 +67,26 @@
 
 *** System ***
 
+* The Isabelle/Scala module isabelle.Registry provides hierarchic system
+configuration, based on a collection of TOML files (see also
+https://toml.io/en/v1.0.0). The settings variable ISABELLE_REGISTRY
+tells which files are included into isabelle.Registry.global by default.
+The bash function "isabelle_registry" may be used in component
+etc/settings or $ISABELLE_HOME_USER/etc/settings to append further
+files: a trailing question mark means that the entry is optional. The
+default settings use "$ISABELLE_HOME/etc/registry.toml?" and
+"$ISABELLE_HOME_USER/etc/registry.toml?" (in that order).
+
+* Isabelle build cluster specifications now refer to the underlying
+registry for default parameters and system options, using the TOML table
+"host". For example, the command "isabelle build -H abc:user=test" can
+be implicitly augmented by host parameters and options in
+$ISABELLE_HOME_USER/etc/registry.toml like this:
+
+  [host.abc]
+  hostname = "abc.acme.org"
+  ssh_compression = false
+
 * Isabelle/Scala and derived Scala tools now use the syntax of Scala
 3.3, instead of 3.1. This is the "-old-syntax" variant (Java-like) as
 before, not "-new-syntax" (Python-like). Minor INCOMPATIBILITY.