changeset 66390 | 21514c6e5e43 |
parent 66240 | 1a04946c41d6 |
child 66598 | e2671e8c476f |
--- a/src/Tools/VSCode/extension/README.md Thu Aug 10 11:35:39 2017 +0200 +++ b/src/Tools/VSCode/extension/README.md Thu Aug 10 14:32:13 2017 +0200 @@ -16,7 +16,7 @@ ## Screenshot -![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png) +![[Isabelle/VSCode]](https://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png) ## Notable Features