src/Tools/VSCode/extension/README.md
changeset 64757 7e3924224769
parent 64605 9c1173a7e4cb
child 64873 ee5aaf7bce0d
--- 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.