src/Tools/VSCode/extension/package.json

--- 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"