# HG changeset patch
# User wenzelm
# Date 1623229108 -7200
# Node ID 9134ae401ad50316f2956d641d927f234c96cad4
# Parent  95484bd7e1ec8c310d2c7d31c2b01af954de3eea
NEWS;

diff -r 95484bd7e1ec -r 9134ae401ad5 NEWS
--- a/NEWS	Wed Jun 09 10:52:37 2021 +0200
+++ b/NEWS	Wed Jun 09 10:58:28 2021 +0200
@@ -237,6 +237,17 @@
 
 *** System ***
 
+* ML profiling has been updated and reactivated, after some degration in
+Isabelle2021:
+
+  - "isabelle build -o threads=1 -o profiling=..." works properly
+    within the PIDE session context;
+
+  - "isabelle profiling_report" now uses the session build database
+    (like "isabelle log");
+
+  - output uses non-intrusive tracing messages, instead of warnings.
+
 * System option "system_log" specifies an optional log file for internal
 messages produced by Output.system_message in Isabelle/ML; the value
 "true" refers to console progress of the build job. This works for