1.1 --- a/etc/settings	Mon Jun 29 15:43:35 2020 +0200
     1.2 +++ b/etc/settings	Mon Jun 29 16:01:01 2020 +0200
     1.3 @@ -72,9 +72,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/isabisacREP"
     1.9  else
    1.10 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
    1.11 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisacREP"
    1.12  fi
    1.13  
    1.14  # Where to look for isabelle tools (multiple dirs separated by ':').