--- a/NEWS Fri Nov 24 22:22:41 2023 +0100
+++ b/NEWS Sat Nov 25 16:13:08 2023 +0100
@@ -73,6 +73,10 @@
*** System ***
+* 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.
+
* 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