equal
deleted
inserted
replaced
64 ### |
64 ### |
65 |
65 |
66 isabelle_directory '~' |
66 isabelle_directory '~' |
67 isabelle_directory '$ISABELLE_HOME_USER' |
67 isabelle_directory '$ISABELLE_HOME_USER' |
68 isabelle_directory '~~' |
68 isabelle_directory '~~' |
|
69 isabelle_directory '$ISABELLE_COMPONENTS_BASE' |
69 |
70 |
70 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components" |
71 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components" |
71 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib" |
72 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib" |
72 |
73 |
73 # The place for user configuration, heap files, etc. |
74 # The place for user configuration, heap files, etc. |