# HG changeset patch
# User wenzelm
# Date 1326291177 -3600
# Node ID e81b5673ae01acb7cbd24e197d7f112a189bc2e2
# Parent  eda2c0aeb1f2077fd528d42fb6af9d1ece42b803
more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);

diff -r eda2c0aeb1f2 -r e81b5673ae01 etc/settings
--- a/etc/settings	Wed Jan 11 00:05:31 2012 +0100
+++ b/etc/settings	Wed Jan 11 15:12:57 2012 +0100
@@ -97,7 +97,7 @@
 ###
 
 # The place for user configuration, heap files, etc.
-ISABELLE_HOME_USER="$HOME/.isabelle/$ISABELLE_IDENTIFIER"
+ISABELLE_HOME_USER="$HOME/.isabelle/${ISABELLE_IDENTIFIER:-.}"
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"