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