equal
deleted
inserted
replaced
54 |
54 |
55 ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components" |
55 ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components" |
56 |
56 |
57 # The place for user configuration, heap files, etc. |
57 # The place for user configuration, heap files, etc. |
58 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
58 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
59 ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac" |
59 ISABELLE_HOME_USER="$USER_HOME/.isabelle" |
60 else |
60 else |
61 ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER" |
61 ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER" |
62 fi |
62 fi |
63 |
63 |
64 # Where to look for isabelle tools (multiple dirs separated by ':'). |
64 # Where to look for isabelle tools (multiple dirs separated by ':'). |