equal
deleted
inserted
replaced
71 |
71 |
72 isabelle_directory '~' |
72 isabelle_directory '~' |
73 isabelle_directory '$ISABELLE_HOME_USER' |
73 isabelle_directory '$ISABELLE_HOME_USER' |
74 isabelle_directory '~~' |
74 isabelle_directory '~~' |
75 |
75 |
76 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components" |
76 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components" |
77 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib" |
77 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib" |
78 |
78 |
79 # The place for user configuration, heap files, etc. |
79 # The place for user configuration, heap files, etc. |
80 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
80 if [ -z "$ISABELLE_IDENTIFIER" ]; then |
81 ISABELLE_HOME_USER="$USER_HOME/.isabelle" |
81 ISABELLE_HOME_USER="$USER_HOME/.isabelle" |