prefer https;
authorwenzelm
Fri Mar 02 15:16:10 2018 +0100 (15 months ago)
changeset 677445c781dcd5864
parent 67743 7bd0a250183b
child 67745 d83efbe52438
prefer https;
Admin/cronjob/plain_identify
Admin/cronjob/self_update
README_REPOSITORY
src/Doc/Implementation/ML.thy
src/Pure/Admin/build_history.scala
src/Tools/VSCode/extension/README.md
src/Tools/VSCode/extension/package.json
     1.1 --- a/Admin/cronjob/plain_identify	Fri Mar 02 11:52:27 2018 +0100
     1.2 +++ b/Admin/cronjob/plain_identify	Fri Mar 02 15:16:10 2018 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  LANG=C
     1.5  
     1.6  REPOS_DIR="$HOME/cronjob/plain_identify_repos"
     1.7 -ISABELLE_REPOS_SOURCE="http://isabelle.in.tum.de/repos/isabelle"
     1.8 +ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle"
     1.9  AFP_REPOS_SOURCE="https://bitbucket.org/isa-afp/afp-devel"
    1.10  
    1.11  function setup_repos ()
     2.1 --- a/Admin/cronjob/self_update	Fri Mar 02 11:52:27 2018 +0100
     2.2 +++ b/Admin/cronjob/self_update	Fri Mar 02 15:16:10 2018 +0100
     2.3 @@ -10,5 +10,5 @@
     2.4  cd "$HOME/cronjob"
     2.5  mkdir -p run log
     2.6  
     2.7 -hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     2.8 +hg -R isabelle pull "https://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     2.9  hg -R isabelle update -C -q || echo "self_update update failed"
     3.1 --- a/README_REPOSITORY	Fri Mar 02 11:52:27 2018 +0100
     3.2 +++ b/README_REPOSITORY	Fri Mar 02 15:16:10 2018 +0100
     3.3 @@ -12,7 +12,7 @@
     3.4  
     3.5  2. Clone repository (bash shell commands):
     3.6  
     3.7 -    hg clone http://isabelle.in.tum.de/repos/isabelle
     3.8 +    hg clone https://isabelle.in.tum.de/repos/isabelle
     3.9  
    3.10      cd isabelle
    3.11  
    3.12 @@ -86,7 +86,7 @@
    3.13  
    3.14  The main Isabelle repository can be cloned like this:
    3.15  
    3.16 -  hg clone http://isabelle.in.tum.de/repos/isabelle
    3.17 +  hg clone https://isabelle.in.tum.de/repos/isabelle
    3.18  
    3.19  This will create a local directory "isabelle", unless an alternative
    3.20  name is specified.  The full repository meta-data and history of
    3.21 @@ -128,7 +128,7 @@
    3.22  Shared pull/push access
    3.23  -----------------------
    3.24  
    3.25 -The entry point http://isabelle.in.tum.de/repos/isabelle is world
    3.26 +The entry point https://isabelle.in.tum.de/repos/isabelle is world
    3.27  readable, both via plain web browsing and the hg client as described
    3.28  above.  Anybody can produce a clone, change it locally, and then use
    3.29  regular mechanisms of Mercurial to report changes upstream, say via
    3.30 @@ -273,7 +273,7 @@
    3.31      Isabelle changesets can be more spontaneous, growing from the
    3.32      bottom-up.
    3.33  
    3.34 -    The web style of http://isabelle.in.tum.de/repos/isabelle/
    3.35 +    The web style of https://isabelle.in.tum.de/repos/isabelle
    3.36      accommodates the Isabelle changelog format.  Note that multiple
    3.37      lines will sometimes display as a single paragraph in HTML, so
    3.38      some terminating punctuation is required.  Do not squeeze multiple
     4.1 --- a/src/Doc/Implementation/ML.thy	Fri Mar 02 11:52:27 2018 +0100
     4.2 +++ b/src/Doc/Implementation/ML.thy	Fri Mar 02 15:16:10 2018 +0100
     4.3 @@ -23,7 +23,7 @@
     4.4    explanations should help to understand how proper Isabelle/ML is to be read
     4.5    and written, and to get access to the wealth of experience that is expressed
     4.6    in the source text and its history of changes.\<^footnote>\<open>See
     4.7 -  \<^url>\<open>http://isabelle.in.tum.de/repos/isabelle\<close> for the full Mercurial history.
     4.8 +  \<^url>\<open>https://isabelle.in.tum.de/repos/isabelle\<close> for the full Mercurial history.
     4.9    There are symbolic tags to refer to official Isabelle releases, as opposed
    4.10    to arbitrary \<^emph>\<open>tip\<close> versions that merely reflect snapshots that are never
    4.11    really up-to-date.\<close>
     5.1 --- a/src/Pure/Admin/build_history.scala	Fri Mar 02 11:52:27 2018 +0100
     5.2 +++ b/src/Pure/Admin/build_history.scala	Fri Mar 02 15:16:10 2018 +0100
     5.3 @@ -504,7 +504,7 @@
     5.4      ssh: SSH.Session,
     5.5      isabelle_repos_self: Path,
     5.6      isabelle_repos_other: Path,
     5.7 -    isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
     5.8 +    isabelle_repos_source: String = "https://isabelle.in.tum.de/repos/isabelle",
     5.9      afp_repos_source: String = AFP.repos_source,
    5.10      isabelle_identifier: String = "remote_build_history",
    5.11      self_update: Boolean = false,
     6.1 --- a/src/Tools/VSCode/extension/README.md	Fri Mar 02 11:52:27 2018 +0100
     6.2 +++ b/src/Tools/VSCode/extension/README.md	Fri Mar 02 15:16:10 2018 +0100
     6.3 @@ -8,7 +8,7 @@
     6.4  
     6.5  See also:
     6.6  
     6.7 -  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
     6.8 +  * <https://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
     6.9    * <https://github.com/Microsoft/language-server-protocol>
    6.10  
    6.11  
     7.1 --- a/src/Tools/VSCode/extension/package.json	Fri Mar 02 11:52:27 2018 +0100
     7.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Mar 02 15:16:10 2018 +0100
     7.3 @@ -14,7 +14,7 @@
     7.4      "publisher": "makarius",
     7.5      "license": "MIT",
     7.6      "repository": {
     7.7 -        "url": "http://isabelle.in.tum.de/repos/isabelle"
     7.8 +        "url": "https://isabelle.in.tum.de/repos/isabelle"
     7.9      },
    7.10      "engines": {
    7.11          "vscode": "^1.8.0"