# HG changeset patch
# User wenzelm
# Date 1482963858 -3600
# Node ID e991a4fab0dcf095af1a208df3648df4eda89160
# Parent  135313951082b88699631362d13c7338923e8ab4
publish extension on Visual Studio Marketplace;

diff -r 135313951082 -r e991a4fab0dc src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Wed Dec 28 21:24:33 2016 +0100
+++ b/src/Tools/VSCode/README.md	Wed Dec 28 23:24:18 2016 +0100
@@ -4,21 +4,19 @@
 * Language Server protocol implementation ([Isabelle/Scala](src/server.scala))
 
 
-## Build and run ##
+## Run ##
 
 * shell> `isabelle build -b HOL`
 
-* shell> `cd src/Tools/VSCode/extension; vsce package`
+* Extensions: search "Isabelle 0.1.0", click "Install"
 
 * Preferences / User settings / edit settings.json: e.g.
     `"isabelle.home": "/home/makarius/isabelle/repos"`
 
-* 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
 
 
-## Debug
+## Debug ##
 
 * shell> `code src/Tools/VSCode/extension`
 
@@ -27,6 +25,11 @@
 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
 
 
+## Build ##
+
+* shell> `cd src/Tools/VSCode/extension; vsce package`
+
+
 ## Relevant links ##
 
 ### VSCode editor ###
diff -r 135313951082 -r e991a4fab0dc src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Dec 28 21:24:33 2016 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Dec 28 23:24:18 2016 +0100
@@ -11,7 +11,7 @@
         ],
     "icon": "isabelle.png",
     "version": "0.1.0",
-    "publisher": "Makarius",
+    "publisher": "makarius",
     "license": "BSD-3-Clause",
     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
     "engines": { "vscode": "^1.5.0" },