src/Tools/VSCode/extension/README.md

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/extension/README.md	Mon Dec 19 20:27:49 2016 +0100
@@ -0,0 +1,6 @@
+# Isabelle language support
+
+This extension provides language support for Isabelle.
+
+Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
+directory.