--- a/src/Tools/VSCode/README.md Wed Dec 28 20:42:28 2016 +0100
+++ b/src/Tools/VSCode/README.md Wed Dec 28 21:24:33 2016 +0100
@@ -13,7 +13,7 @@
* Preferences / User settings / edit settings.json: e.g.
`"isabelle.home": "/home/makarius/isabelle/repos"`
-* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-0.0.1.vsix`
+* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-0.1.0.vsix`
* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
--- a/src/Tools/VSCode/extension/package.json Wed Dec 28 20:42:28 2016 +0100
+++ b/src/Tools/VSCode/extension/package.json Wed Dec 28 21:24:33 2016 +0100
@@ -10,7 +10,7 @@
"document preparation"
],
"icon": "isabelle.png",
- "version": "0.0.1",
+ "version": "0.1.0",
"publisher": "Makarius",
"license": "BSD-3-Clause",
"repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },