diff -r d3b6e5e47015 -r ae814012b95f src/Tools/VSCode/extension/README.md --- a/src/Tools/VSCode/extension/README.md Thu Jun 29 23:06:20 2017 +0200 +++ b/src/Tools/VSCode/extension/README.md Fri Jun 30 13:19:24 2017 +0200 @@ -7,7 +7,7 @@ * * -![[Isabelle/VSCode screenshot]](isabelle_vscode.png) +![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png) ## Prerequisites ##