1.1 --- a/etc/settings Fri Jan 19 12:52:09 2018 +0100
1.2 +++ b/etc/settings Fri Jan 19 15:09:44 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/isabisac15"
1.8 + ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
1.9 else
1.10 - ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac15"
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 ':').