changeset 21471 | 03a5ef1936c5 |
parent 21462 | 74ddf3a522f8 |
child 21537 | 45b3a85ee548 |
--- 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.