# HG changeset patch
# User wenzelm
# Date 1343052970 -7200
# Node ID 2d987dad7c3ec573806a4cea7394f1692d3b6aec
# Parent  94c11abc5a52174a94c4d98a25651d36a0c08ad4
tuned;

diff -r 94c11abc5a52 -r 2d987dad7c3e etc/settings
--- a/etc/settings	Mon Jul 23 16:13:26 2012 +0200
+++ b/etc/settings	Mon Jul 23 16:16:10 2012 +0200
@@ -93,7 +93,11 @@
 ###
 
 # The place for user configuration, heap files, etc.
-ISABELLE_HOME_USER="$USER_HOME/.isabelle/${ISABELLE_IDENTIFIER:-.}"
+if [ -z "ISABELLE_IDENTIFIER" ]; then
+  ISABELLE_HOME_USER="$USER_HOME/.isabelle"
+else
+  ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
+fi
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"