1.1 --- a/etc/settings	Mon Jun 22 08:27:30 2015 +0200
     1.2 +++ b/etc/settings	Mon Jun 22 15:30:19 2015 +0200
     1.3 @@ -58,7 +58,7 @@
     1.4  if [ -z "$ISABELLE_IDENTIFIER" ]; then
     1.5    ISABELLE_HOME_USER="$USER_HOME/.isabelle"
     1.6  else
     1.7 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
     1.8 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac" 
     1.9  fi
    1.10  
    1.11  # Where to look for isabelle tools (multiple dirs separated by ':').