src/Tools/VSCode/extension/README.md
changeset 66230 ae814012b95f
parent 66227 7470985f3fb6
child 66236 8ae7c5ba1a85
--- 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 @@
   * <http://isabelle.in.tum.de/devel/release_snapshot>
   * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
 
-![[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 ##