author | wenzelm |
Mon, 14 Jan 2002 17:45:30 +0100 | |
changeset 12753 | 3a62df7ae926 |
parent 12752 | f80407a8deda |
child 12754 | 044a59921f3b |
--- 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);