# HG changeset patch
# User wenzelm
# Date 1689191413 -7200
# Node ID 137f015c27e2c6bc794e5f6f8077aa8fe437b7ee
# Parent  fcabbb45b2724a529bda1ea3328e7141ab4cea35
NEWS;

diff -r fcabbb45b272 -r 137f015c27e2 NEWS
--- a/NEWS	Wed Jul 12 21:47:14 2023 +0200
+++ b/NEWS	Wed Jul 12 21:50:13 2023 +0200
@@ -370,6 +370,10 @@
 
 *** System ***
 
+* Isabelle/Scala supports TOML (Tom's Obvious, Minimal Language), which
+aims to be a minimal configuration file format. See also
+https://toml.io/en/v1.0.0
+
 * System options "context_theory_tracing" and "context_proof_tracing"
 store information about persistent context values (ML types theory,
 local_theory, Proof.context). This may reveal "memory leaks" in