1.1 --- a/NEWS	Sun Jan 16 20:54:30 2011 +0100
     1.2 +++ b/NEWS	Sun Jan 16 20:55:48 2011 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  * Significantly improved Isabelle/Isar implementation manual.
     1.5  
     1.6  * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER
     1.7 -(and thus refers to something like $HOME/.isabelle/IsabelleXXXX),
     1.8 +(and thus refers to something like $HOME/.isabelle/Isabelle2011),
     1.9  while the default heap location within that directory lacks that extra
    1.10  suffix.  This isolates multiple Isabelle installations from each
    1.11  other, avoiding problems with old settings in new versions.