1.1 --- a/etc/settings	Wed Aug 22 14:44:15 2018 +0200
     1.2 +++ b/etc/settings	Wed Aug 22 15:42:55 2018 +0200
     1.3 @@ -66,9 +66,9 @@
     1.4  
     1.5  # The place for user configuration, heap files, etc.
     1.6  if [ -z "$ISABELLE_IDENTIFIER" ]; then
     1.7 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle"
     1.8 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
     1.9  else
    1.10 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
    1.11 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
    1.12  fi
    1.13  
    1.14  # Where to look for isabelle tools (multiple dirs separated by ':').