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.