prefer HTTPS;
authorwenzelm
Thu Jul 14 12:21:12 2016 +0200 (2016-07-14 ago)
changeset 6349158ccbc73a172
parent 63490 9416333a17c2
child 63492 a3fe3250d05d
child 63495 a662e8139804
child 63497 ac0a3b9c6dae
prefer HTTPS;
etc/settings
     1.1 --- a/etc/settings	Thu Jul 14 12:20:20 2016 +0200
     1.2 +++ b/etc/settings	Thu Jul 14 12:21:12 2016 +0200
     1.3 @@ -58,7 +58,7 @@
     1.4  ### Misc path settings
     1.5  ###
     1.6  
     1.7 -ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
     1.8 +ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
     1.9  
    1.10  # The place for user configuration, heap files, etc.
    1.11  if [ -z "$ISABELLE_IDENTIFIER" ]; then