1.1 --- a/etc/settings	Thu Jan 18 15:25:39 2018 +0100
     1.2 +++ b/etc/settings	Thu Jan 18 15:27:36 2018 +0100
     1.3 @@ -60,9 +60,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/isabisac"
     1.8 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac15"
     1.9  else
    1.10 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
    1.11 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac15"
    1.12  fi
    1.13  
    1.14  # Where to look for isabelle tools (multiple dirs separated by ':').