| changeset 72162 | 5894859c5c84 |
| parent 72157 | d1ca82e27cbc |
| child 72163 | f5722290a4d0 |
--- a/etc/settings Mon Aug 17 12:35:03 2020 +0200 +++ b/etc/settings Mon Aug 17 13:16:42 2020 +0200 @@ -74,6 +74,10 @@ ### Misc path settings ### +isabelle_directory '~' +isabelle_directory '$ISABELLE_HOME_USER' +isabelle_directory '~~' + ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components" ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"