1.1 --- a/etc/settings Mon Jun 29 17:27:34 2020 +0200
1.2 +++ b/etc/settings Mon Jun 29 17:33:47 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/isabisacREP"
1.8 + ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
1.9 else
1.10 - ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisacREP"
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 ':').