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