changeset 78318 | 137f015c27e2 |
parent 78309 | fc6246225283 |
child 78319 | 5f78a7e98bd0 |
--- 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