# 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" },