more NEWS;
authorwenzelm
Thu, 13 Jul 2023 14:02:36 +0200
changeset 78331 cefe819c5980
parent 78330 1a69d3a3e3aa
child 78332 3b4bbc5b7c46
more NEWS;
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