diff -r 5538dea9474e -r d138fd74a1a1 NEWS
--- a/NEWS	Wed Nov 14 16:22:44 2007 +0100
+++ b/NEWS	Thu Nov 15 11:49:00 2007 +0100
@@ -1407,9 +1407,9 @@
 
 *** System ***
 
-* settings: ML_IDENTIFIER -- which is appended to user specific heap
-locations -- now includes the Isabelle version identifier as well.
-This simplifies use of multiple Isabelle installations.
+* settings: the default heap location within ISABELLE_HOME_USER now
+includes ISABELLE_IDENTIFIER.  This simplifies use of multiple
+Isabelle installations.
 
 * isabelle-process: option -S (secure mode) disables some critical
 operations, notably runtime compilation and evaluation of ML source