Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed download URL: http -> https.

This commit is contained in:
Achim D. Brucker 2019-01-06 12:01:20 +00:00
parent af8d65b456
commit 0614d594a7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install
View File

@ -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`}