From 0614d594a77e87c03ccfc2ae4bf29e6a43ae93a2 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 6 Jan 2019 12:01:20 +0000 Subject: [PATCH] Fixed download URL: http -> https. --- install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install b/install index 65ceabe..75c6ba0 100755 --- a/install +++ b/install @@ -31,7 +31,7 @@ shopt -s nocasematch # Global configuration ISABELLE_VERSION="Isabelle2017: October 2017" -ISABELLE_URL="http://isabelle.in.tum.de/website-Isabelle2017/" +ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2017/" AFP_URL="https://sourceforge.net/projects/afp/files/afp-Isabelle2017/afp-2018-08-14.tar.gz" ISABELLE=${1:-`which isabelle`}