README_REPOSITORY

 1b. Windows: ensure that Cygwin64 with curl and Mercurial is installed
     (see also http://www.cygwin.com)
 
 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
 
     ./bin/isabelle components -I
 

 Initial configuration
 ---------------------
 
 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
 changes is in isabelle/.hg; local configuration for this clone can be
 added to isabelle/.hg/hgrc, but note that hgrc files are never copied

 
 
 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
 mail to someone with write access to that file space.  It is also
 quite easy to publish changed clones again on the web, using the

     where external changes pass through a hierarchy of reviewers and
     maintainers, until they end up in some authoritative repository.
     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
     items on the same line in the original text!