* settings: ML_IDENTIFIER includes the Isabelle version identifier;

--- a/NEWS	Wed Nov 22 20:08:07 2006 +0100
+++ b/NEWS	Wed Nov 22 20:51:00 2006 +0100
@@ -915,6 +915,10 @@
 
 *** 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.
+
 * isabelle-process: option -S (secure mode) disables some critical
 operations, notably runtime compilation and evaluation of ML source
 code.