Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 29 Jun 2017 23:05:33 +0200
changeset 66227 7470985f3fb6
parent 66226 22b8bbbc3e99
child 66228 5707cfb531ee
tuned;
src/Tools/VSCode/extension/README.md file | annotate | diff | comparison | revisions 
--- 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 @@
   * <http://isabelle.in.tum.de/devel/release_snapshot>
   * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
 
-![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 `\<forall>` are rendered using the extension "Prettify
isabelle