diff -r f80407a8deda -r 3a62df7ae926 NEWS
--- a/NEWS	Mon Jan 14 17:43:44 2002 +0100
+++ b/NEWS	Mon Jan 14 17:45:30 2002 +0100
@@ -345,6 +345,9 @@
 
 * system: support Poly/ML 4.1.1 (able to manage larger heaps);
 
+* system: reduced base memory usage by Poly/ML (approx. 20 MB instead
+of 40 MB), cf. ML_OPTIONS;
+
 * system: Proof General keywords specification is now part of the
 Isabelle distribution (see etc/isar-keywords.el);