Merge pull request tlaplus#115 from tlaplus/isabelle-https

Use HTTPS to download the Isabelle.
ahelwer · Jan 30, 2024 · b9b9a92 · b9b9a92
2 parents a0ae986 + 084ebe4
commit b9b9a92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/isabelle/Makefile b/deps/isabelle/Makefile
@@ -19,7 +19,7 @@ ifeq ($(OS_TYPE),Cygwin)
 	FIND_EXEC=-executable
 endif
 
-ISABELLE_URL=http://isabelle.in.tum.de/website-$(ISABELLE_VSN)/dist/$(ISABELLE_ARCHIVE)
+ISABELLE_URL=https://isabelle.in.tum.de/website-$(ISABELLE_VSN)/dist/$(ISABELLE_ARCHIVE)
 ISABELLE_DIR=Isabelle
 
 # Some defaults, for the case if makefile is called not by the dune build system.