# HG changeset patch
# User wenzelm
# Date 1520000170 -3600
# Node ID 5c781dcd58646e93efbb71decf9dc507cfc682fa
# Parent  7bd0a250183bf5ebe129d5db659bf91921efa710
prefer https;

diff -r 7bd0a250183b -r 5c781dcd5864 Admin/cronjob/plain_identify
--- a/Admin/cronjob/plain_identify	Fri Mar 02 11:52:27 2018 +0100
+++ b/Admin/cronjob/plain_identify	Fri Mar 02 15:16:10 2018 +0100
@@ -10,7 +10,7 @@
 LANG=C
 
 REPOS_DIR="$HOME/cronjob/plain_identify_repos"
-ISABELLE_REPOS_SOURCE="http://isabelle.in.tum.de/repos/isabelle"
+ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle"
 AFP_REPOS_SOURCE="https://bitbucket.org/isa-afp/afp-devel"
 
 function setup_repos ()
diff -r 7bd0a250183b -r 5c781dcd5864 Admin/cronjob/self_update
--- a/Admin/cronjob/self_update	Fri Mar 02 11:52:27 2018 +0100
+++ b/Admin/cronjob/self_update	Fri Mar 02 15:16:10 2018 +0100
@@ -10,5 +10,5 @@
 cd "$HOME/cronjob"
 mkdir -p run log
 
-hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
+hg -R isabelle pull "https://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
 hg -R isabelle update -C -q || echo "self_update update failed"
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
diff -r 7bd0a250183b -r 5c781dcd5864 src/Doc/Implementation/ML.thy
--- a/src/Doc/Implementation/ML.thy	Fri Mar 02 11:52:27 2018 +0100
+++ b/src/Doc/Implementation/ML.thy	Fri Mar 02 15:16:10 2018 +0100
@@ -23,7 +23,7 @@
   explanations should help to understand how proper Isabelle/ML is to be read
   and written, and to get access to the wealth of experience that is expressed
   in the source text and its history of changes.\<^footnote>\<open>See
-  \<^url>\<open>http://isabelle.in.tum.de/repos/isabelle\<close> for the full Mercurial history.
+  \<^url>\<open>https://isabelle.in.tum.de/repos/isabelle\<close> for the full Mercurial history.
   There are symbolic tags to refer to official Isabelle releases, as opposed
   to arbitrary \<^emph>\<open>tip\<close> versions that merely reflect snapshots that are never
   really up-to-date.\<close>
diff -r 7bd0a250183b -r 5c781dcd5864 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Fri Mar 02 11:52:27 2018 +0100
+++ b/src/Pure/Admin/build_history.scala	Fri Mar 02 15:16:10 2018 +0100
@@ -504,7 +504,7 @@
     ssh: SSH.Session,
     isabelle_repos_self: Path,
     isabelle_repos_other: Path,
-    isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
+    isabelle_repos_source: String = "https://isabelle.in.tum.de/repos/isabelle",
     afp_repos_source: String = AFP.repos_source,
     isabelle_identifier: String = "remote_build_history",
     self_update: Boolean = false,
diff -r 7bd0a250183b -r 5c781dcd5864 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Fri Mar 02 11:52:27 2018 +0100
+++ b/src/Tools/VSCode/extension/README.md	Fri Mar 02 15:16:10 2018 +0100
@@ -8,7 +8,7 @@
 
 See also:
 
-  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
+  * <https://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
   * <https://github.com/Microsoft/language-server-protocol>
 
 
diff -r 7bd0a250183b -r 5c781dcd5864 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 02 11:52:27 2018 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 02 15:16:10 2018 +0100
@@ -14,7 +14,7 @@
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
-        "url": "http://isabelle.in.tum.de/repos/isabelle"
+        "url": "https://isabelle.in.tum.de/repos/isabelle"
     },
     "engines": {
         "vscode": "^1.8.0"