README_REPOSITORY
changeset 67744 5c781dcd5864
parent 66763 0b3fa8e22f22
child 68378 22680a3f8346
     1.1 --- a/README_REPOSITORY	Fri Mar 02 11:52:27 2018 +0100
     1.2 +++ b/README_REPOSITORY	Fri Mar 02 15:16:10 2018 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  2. Clone repository (bash shell commands):
     1.6  
     1.7 -    hg clone http://isabelle.in.tum.de/repos/isabelle
     1.8 +    hg clone https://isabelle.in.tum.de/repos/isabelle
     1.9  
    1.10      cd isabelle
    1.11  
    1.12 @@ -86,7 +86,7 @@
    1.13  
    1.14  The main Isabelle repository can be cloned like this:
    1.15  
    1.16 -  hg clone http://isabelle.in.tum.de/repos/isabelle
    1.17 +  hg clone https://isabelle.in.tum.de/repos/isabelle
    1.18  
    1.19  This will create a local directory "isabelle", unless an alternative
    1.20  name is specified.  The full repository meta-data and history of
    1.21 @@ -128,7 +128,7 @@
    1.22  Shared pull/push access
    1.23  -----------------------
    1.24  
    1.25 -The entry point http://isabelle.in.tum.de/repos/isabelle is world
    1.26 +The entry point https://isabelle.in.tum.de/repos/isabelle is world
    1.27  readable, both via plain web browsing and the hg client as described
    1.28  above.  Anybody can produce a clone, change it locally, and then use
    1.29  regular mechanisms of Mercurial to report changes upstream, say via
    1.30 @@ -273,7 +273,7 @@
    1.31      Isabelle changesets can be more spontaneous, growing from the
    1.32      bottom-up.
    1.33  
    1.34 -    The web style of http://isabelle.in.tum.de/repos/isabelle/
    1.35 +    The web style of https://isabelle.in.tum.de/repos/isabelle
    1.36      accommodates the Isabelle changelog format.  Note that multiple
    1.37      lines will sometimes display as a single paragraph in HTML, so
    1.38      some terminating punctuation is required.  Do not squeeze multiple