NEWS
changeset 12753 3a62df7ae926
parent 12736 80f10551fb59
child 12754 044a59921f3b
     1.1 --- a/NEWS	Mon Jan 14 17:43:44 2002 +0100
     1.2 +++ b/NEWS	Mon Jan 14 17:45:30 2002 +0100
     1.3 @@ -345,6 +345,9 @@
     1.4  
     1.5  * system: support Poly/ML 4.1.1 (able to manage larger heaps);
     1.6  
     1.7 +* system: reduced base memory usage by Poly/ML (approx. 20 MB instead
     1.8 +of 40 MB), cf. ML_OPTIONS;
     1.9 +
    1.10  * system: Proof General keywords specification is now part of the
    1.11  Isabelle distribution (see etc/isar-keywords.el);
    1.12