* settings: ML_IDENTIFIER includes the Isabelle version identifier;
authorwenzelm
Wed Nov 22 20:51:00 2006 +0100 (2006-11-22)
changeset 2147103a5ef1936c5
parent 21470 7c1b59ddcd56
child 21472 64dee7d4b8ce
* settings: ML_IDENTIFIER includes the Isabelle version identifier;
NEWS
     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.