changeset 63491 | 58ccbc73a172 |
parent 62840 | d9744f41a4ec |
child 63688 | cc57255bf6ae |
--- a/etc/settings Thu Jul 14 12:20:20 2016 +0200 +++ b/etc/settings Thu Jul 14 12:21:12 2016 +0200 @@ -58,7 +58,7 @@ ### Misc path settings ### -ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components" +ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components" # The place for user configuration, heap files, etc. if [ -z "$ISABELLE_IDENTIFIER" ]; then