# HG changeset patch
# User wenzelm
# Date 1458162278 -3600
# Node ID c2b38181b7f102cb01cfc2a542c7d46925e95a16
# Parent  0b1b7465f2ef1a14380e064ce7729c4d27b12036
NEWS;

diff -r 0b1b7465f2ef -r c2b38181b7f1 NEWS
--- a/NEWS	Wed Mar 16 21:45:04 2016 +0100
+++ b/NEWS	Wed Mar 16 22:04:38 2016 +0100
@@ -281,6 +281,9 @@
 
 * SML/NJ and old versions of Poly/ML are no longer supported.
 
+* Poly/ML heaps now follow the hierarchy of sessions, and thus require
+much less disk space.
+
 
 
 New in Isabelle2016 (February 2016)