Admin/components/README
changeset 68649 f849fc1cb65e
parent 50529 b2aa899b3f2d
child 69429 dc5fbcb07c7b
     1.1 --- a/Admin/components/README	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/Admin/components/README	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  Isabelle components are managed as authentic .tar.gz archives in
     1.6  /home/isabelle/components from where they are made publicly available
     1.7 -on http://isabelle.in.tum.de/components/.
     1.8 +on https://isabelle.in.tum.de/components/.
     1.9  
    1.10  Visibility on the HTTP server depends on local Unix file permission:
    1.11  nonfree components should omit "read" mode for the Unix group/other;