# HG changeset patch
# User wenzelm
# Date 1685441268 -7200
# Node ID f3d19c8445ec49a2313817b7e7fc69dde2e2ecf7
# Parent  e72884b2da040f91d0ad3fec3b79bec8fe03b808
NEWS;

diff -r e72884b2da04 -r f3d19c8445ec NEWS
--- a/NEWS	Sun May 28 12:14:40 2023 +0200
+++ b/NEWS	Tue May 30 12:07:48 2023 +0200
@@ -9,6 +9,14 @@
 
 *** General ***
 
+* ML heap usage and stored heap size has been significantly reduced,
+especially for applications with a lot of definitions in a 'locale' or
+'class' context. The shrink factor is usually in the range 1.1 .. 2.0,
+but a factor 3 .. 10 has been seen in unusual situations. This often
+allows big applications to return to the "small" 64_32 memory model with
+its hard limit of 16 GiB, and thus reduce the heap size by another
+factor 1.8.
+
 * The special "of_class" introduction rule for 'class' definitions has
 been renamed from "class.NAME.of_class.intro" to "NAME.intro_of_class"
 (where NAME is the name specification of the class). E.g. see the HOL