# HG changeset patch # User wenzelm # Date 1498770333 -7200 # Node ID 7470985f3fb6d552f3753e449ab67225412b7d8f # Parent 22b8bbbc3e996cc9b9ae344b3b6d0a4ea91cc3ab tuned; diff -r 22b8bbbc3e99 -r 7470985f3fb6 src/Tools/VSCode/extension/README.md --- a/src/Tools/VSCode/extension/README.md Thu Jun 29 22:40:43 2017 +0200 +++ b/src/Tools/VSCode/extension/README.md Thu Jun 29 23:05:33 2017 +0200 @@ -7,7 +7,8 @@ * * -![Isabelle/VSCode](isabelle_vscode.png) +![[Isabelle/VSCode screenshot]](isabelle_vscode.png) + ## Prerequisites ## @@ -19,6 +20,7 @@ * On Windows: `isabelle.home` as above, but in Windows path notation with drive-letter and backslashes. + ### Support for Isabelle symbols ### Isabelle symbols like `\` are rendered using the extension "Prettify