# HG changeset patch
# User wenzelm
# Date 1690290257 -7200
# Node ID 127e4e952446e10db2536594c0129eea5809435d
# Parent  47d5e8be39a9e4d2fd40f7328702072d4a6059f0
update for release;

diff -r 47d5e8be39a9 -r 127e4e952446 ANNOUNCE
--- a/ANNOUNCE	Tue Jul 25 14:58:05 2023 +0200
+++ b/ANNOUNCE	Tue Jul 25 15:04:17 2023 +0200
@@ -24,6 +24,8 @@
 
 * System: more robust "isabelle sync" tool via bundled "rsync" executables.
 
+* System: "isabelle profiling" tool produces ML heap statistics.
+
 * Support for the Dotnet platform (.NET) and Fsharp (F#).