diff -r 7bd0a250183b -r 5c781dcd5864 README_REPOSITORY
--- a/README_REPOSITORY	Fri Mar 02 11:52:27 2018 +0100
+++ b/README_REPOSITORY	Fri Mar 02 15:16:10 2018 +0100
@@ -12,7 +12,7 @@
 
 2. Clone repository (bash shell commands):
 
-    hg clone http://isabelle.in.tum.de/repos/isabelle
+    hg clone https://isabelle.in.tum.de/repos/isabelle
 
     cd isabelle
 
@@ -86,7 +86,7 @@
 
 The main Isabelle repository can be cloned like this:
 
-  hg clone http://isabelle.in.tum.de/repos/isabelle
+  hg clone https://isabelle.in.tum.de/repos/isabelle
 
 This will create a local directory "isabelle", unless an alternative
 name is specified.  The full repository meta-data and history of
@@ -128,7 +128,7 @@
 Shared pull/push access
 -----------------------
 
-The entry point http://isabelle.in.tum.de/repos/isabelle is world
+The entry point https://isabelle.in.tum.de/repos/isabelle is world
 readable, both via plain web browsing and the hg client as described
 above.  Anybody can produce a clone, change it locally, and then use
 regular mechanisms of Mercurial to report changes upstream, say via
@@ -273,7 +273,7 @@
     Isabelle changesets can be more spontaneous, growing from the
     bottom-up.
 
-    The web style of http://isabelle.in.tum.de/repos/isabelle/
+    The web style of https://isabelle.in.tum.de/repos/isabelle
     accommodates the Isabelle changelog format.  Note that multiple
     lines will sometimes display as a single paragraph in HTML, so
     some terminating punctuation is required.  Do not squeeze multiple