# HG changeset patch
# User wenzelm
# Date 1483376884 -3600
# Node ID 7e3924224769346df21d06eed2a14884fd0d2a31
# Parent  3cc892bd8f0f32739a3dec1ee9c383862054e7d0
updated package;

diff -r 3cc892bd8f0f -r 7e3924224769 src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Mon Jan 02 17:41:00 2017 +0100
+++ b/src/Tools/VSCode/README.md	Mon Jan 02 18:08:04 2017 +0100
@@ -6,7 +6,7 @@
 
 ## Run ##
 
-* Extensions: search "Isabelle 0.1.0", click "Install"
+* Extensions: search for "Isabelle", click "Install"
 
 * Preferences / User settings / edit settings.json: e.g.
     `"isabelle.home": "/home/makarius/isabelle/repos"`
diff -r 3cc892bd8f0f -r 7e3924224769 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Mon Jan 02 17:41:00 2017 +0100
+++ b/src/Tools/VSCode/extension/README.md	Mon Jan 02 18:08:04 2017 +0100
@@ -1,6 +1,15 @@
-# Isabelle language support
+# Isabelle Prover IDE support
+
+This extension connects to the Isabelle Prover IDE infrastructure, using the
+VSCode Language Server protocol. This requires a recent development version of
+Isabelle from 2017, see also:
 
-This extension provides language support for Isabelle.
+  * http://isabelle.in.tum.de/devel
+  * http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
+
 
-Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
-directory.
+## Important User Settings ##
+
+  * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
+  * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
+    e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.
diff -r 3cc892bd8f0f -r 7e3924224769 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 17:41:00 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 18:08:04 2017 +0100
@@ -1,7 +1,7 @@
 {
     "name": "isabelle",
     "displayName": "Isabelle",
-    "description": "Isabelle Theorem Prover",
+    "description": "Isabelle Prover IDE",
     "keywords": [
         "theorem prover",
         "formalized mathematics",
@@ -10,11 +10,11 @@
         "document preparation"
         ],
     "icon": "isabelle.png",
-    "version": "0.1.0",
+    "version": "0.2.0",
     "publisher": "makarius",
     "license": "BSD-3-Clause",
     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
-    "engines": { "vscode": "^1.7.0" },
+    "engines": { "vscode": "^1.8.0" },
     "categories": ["Languages"],
     "activationEvents": [
         "onLanguage:isabelle",