src/Tools/VSCode/README.md
changeset 64696 e991a4fab0dc
parent 64695 135313951082
child 64733 20174e871623
--- 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 ###