# HG changeset patch
# User wenzelm
# Date 1689249756 -7200
# Node ID cefe819c59803fc2f1a6c2bb0281186d4519eb2c
# Parent  1a69d3a3e3aa6b04f88310606fb4834cf71d95f6
more NEWS;

diff -r 1a69d3a3e3aa -r cefe819c5980 NEWS
--- a/NEWS	Thu Jul 13 13:51:08 2023 +0200
+++ b/NEWS	Thu Jul 13 14:02:36 2023 +0200
@@ -384,6 +384,11 @@
 aims to be a minimal configuration file format. See also
 https://toml.io/en/v1.0.0
 
+* The command-line tool "isabelle profiling" produces per-session
+statistics from ML heap images. Command-line options are similar to
+"isabelle build". Output is in CSV format, which can be opened by common
+spreadsheet applications (e.g. LibreOffice Calc).
+
 * 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