etc/settings

--- a/etc/settings	Sun Apr 22 11:05:04 2012 +0200
+++ b/etc/settings	Sun Apr 22 14:30:18 2012 +0200
@@ -93,7 +93,7 @@
 ###
 
 # The place for user configuration, heap files, etc.
-ISABELLE_HOME_USER="$HOME/.isabelle/${ISABELLE_IDENTIFIER:-.}"
+ISABELLE_HOME_USER="$USER_HOME/.isabelle/${ISABELLE_IDENTIFIER:-.}"
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"