--- 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"`
--- 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.
--- 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",