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#).