--- 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 ()
--- 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"
--- 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
--- 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>
--- 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,
--- 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>
--- 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"