--- 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.