1.1 --- a/NEWS	Wed Nov 22 20:08:07 2006 +0100
     1.2 +++ b/NEWS	Wed Nov 22 20:51:00 2006 +0100
     1.3 @@ -915,6 +915,10 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* settings: ML_IDENTIFIER -- which is appended to user specific heap
     1.8 +locations -- now includes the Isabelle version identifier as well.
     1.9 +This simplifies use of multiple Isabelle installations.
    1.10 +
    1.11  * isabelle-process: option -S (secure mode) disables some critical
    1.12  operations, notably runtime compilation and evaluation of ML source
    1.13  code.