# HG changeset patch
# User wenzelm
# Date 1011026730 -3600
# Node ID 3a62df7ae9269cc60a641e5f4c70d7f29f552eb2
# Parent  f80407a8deda328d72cea04efb7000174edb10af
* system: reduced base memory usage by Poly/ML (approx. 20 MB instead
of 40 MB), cf. ML_OPTIONS;

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);