diff -r 2bf8cfc98c4d -r 9c1173a7e4cb 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.