equal
deleted
inserted
replaced
64 |
64 |
65 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components" |
65 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components" |
66 |
66 |
67 # The place for user configuration, heap files, etc. |
67 # The place for user configuration, heap files, etc. |
68 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
68 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
69 ISABELLE_HOME_USER="$USER_HOME/.isabelle" |
69 ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac" |
70 else |
70 else |
71 ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER" |
71 ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac" |
72 fi |
72 fi |
73 |
73 |
74 # Where to look for isabelle tools (multiple dirs separated by ':'). |
74 # Where to look for isabelle tools (multiple dirs separated by ':'). |
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
76 |
76 |